Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5928 Publications


2016 | Conference Paper | LibreCat-ID: 20722
Arzt, Steven, et al. “Towards Cross-Platform Cross-Language Analysis with Soot.” Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.
LibreCat | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 20724
Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse Attacks.” Journal of Information Security and Applications , vol. 29, 2016, pp. 16–26, doi:http://dx.doi.org/10.1016/j.jisa.2016.01.002.
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20725
Follner, Andreas, et al. “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality.” International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20726
Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.” Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, edited by Frank Piessens and Luca Vigan’o, Springer Berlin Heidelberg, 2016, pp. 116–38, doi:10.1007/978-3-662-49635-0_7.
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20727
Rasthofer, Siegfried, et al. “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques.” Network and Distributed System Security Symposium (NDSS), 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20728
Nadi, Sarah, et al. “Jumping Through Hoops: Why Do Java Developers Struggle With Cryptography APIs?” International Conference for Software Engineering (ICSE), 2016, pp. 935–46.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20729
Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise Data-Flow Summaries for the Android Framework.” International Conference for Software Engineering (ICSE), 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20730
Eling, N., et al. “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.” 2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–75, doi:10.1109/HICSS.2016.458.
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 208
Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes.” Proceedings of the CT-RSA 2016, 2016, pp. 431–47, doi:10.1007/978-3-319-29485-8_25.
LibreCat | Files available | DOI
 

2016 | Report | LibreCat-ID: 20822
Dziwok, Stefan, et al. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. 2016.
LibreCat
 

2016 | Report | LibreCat-ID: 20823
Holtmann, Jörg, et al. The MechatronicUML Requirements Engineering Method: Process and Language. 2016, doi:10.13140/RG.2.2.33223.29606.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20825
Greinert, Matthias, et al. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.” Tag Des Systems Engineering 2016, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86, doi:10.3139/9783446451414.008.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20830
Schubert, David, et al. “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.” Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 209
Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.” Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669, doi:10.1007/978-3-319-48749-6_47.
LibreCat | Files available | DOI | arXiv
 

2016 | Bachelorsthesis | LibreCat-ID: 18025
Heuchler, Sebastian. Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem. 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 1835
Schmid, Stefan, et al. “SplayNet: Towards Locally Self-Adjusting Networks.” IEEE/ACM Trans. Netw., no. 3, 2016, pp. 1421--1433, doi:10.1109/TNET.2015.2410313.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 1836
Derakhshandeh, Zahra, et al. “On the Runtime of Universal Coating for Programmable Matter.” DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, vol. 9818, 2016, pp. 148--164, doi:10.1007/978-3-319-43994-5_10.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 1837
Derakhshandeh, Zahra, et al. “Universal Shape Formation for Programmable Matter.” Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM, 2016, pp. 289--299, doi:10.1145/2935764.2935784.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 184
Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.” Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–71, doi:10.1007/978-3-319-46227-1_47.
LibreCat | Files available | DOI
 

2016 | Conference (Editor) | LibreCat-ID: 1844
Scheideler, Christian, and Seth Gilbert, editors. Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016. 2016, doi:10.1145/2935764.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed