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.
5711 Publications
2016 | Conference Paper | LibreCat-ID: 3117
Bader, Christoph, et al. “On the Impossibility of Tight Cryptographic Reductions.” Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304, doi:10.1007/978-3-662-49896-5_10.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz, Dennis, et al. “Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts.” Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168, doi:10.1007/978-3-662-53644-5_6.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, Dennis, and Tibor Jager. “Verifiable Random Functions from Standard Assumptions.” Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362, doi:10.1007/978-3-662-49096-9_14.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.” Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek et al., 2016, pp. 189--204, doi:10.1007/978-3-319-45943-1_13.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.” Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, edited by Augusto Sampaio and Farn Wang, 2016, pp. 3--24, doi:10.1007/978-3-319-46750-4_1.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, Gerhard, et al. “Towards a Thread-Local Proof Technique for Starvation Freedom.” Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 2016, pp. 193--209, doi:10.1007/978-3-319-33693-0_13.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
Doherty, Simon, et al. “Proving Opacity of a Pessimistic {STM}.” 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou et al., 2016, pp. 35:1--35:17, doi:10.4230/LIPIcs.OPODIS.2016.35.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
Isenberg, Tobias, et al. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 210
Leder, Lennart. Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 213
Porzenheim, Laurens. Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
Bemmann, Kai Sören. Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
Drees, Maximilian, et al. “Churn- and DoS-Resistant Overlay Networks Based on Network Reconfiguration.” Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427, doi:10.1145/2935764.2935783.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.” Science of Computer Programming, Elsevier, 2016, pp. 2--23, doi:10.1016/j.scico.2016.04.002.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 17655
Polevoy, Gleb, et al. “The Game of Reciprocation Habits.” Proceedings of the 2016 European Conference on Artificial Intelligence, vol. Volume 285: ECAI 2016, 2016, pp. 417–25, doi:10.3233/978-1-61499-672-9-417.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 17656
Polevoy, Gleb, et al. “The Convergence of Reciprocation.” Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2016, pp. 1431–32.
LibreCat
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam, Faisal N., et al. “On the Parameterized Parallel Complexity and the Vertex Cover Problem.” Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–88, doi:10.1007/978-3-319-48749-6_35.
LibreCat
| Files available
| DOI
2016 | Special Issue | LibreCat-ID: 187
Meyer auf der Heide, Friedhelm, editor. “Introduction to the Special Issue on SPAA 2014.” Transactions on Parallel Computing (TOPC), no. 1, 2016, doi:10.1145/2936716.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 19
Lass, Michael, et al. “Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension.” Proc. 41st Conference on Local Computer Networks (LCN), IEEE, 2016, doi:10.1109/lcn.2016.11.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 190
Platenius, Marie Christin, et al. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.” IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, no. 8, IEEE, 2016, pp. 739–59, doi:10.1109/TSE.2016.2632115.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 2367
Blömer, Johannes, et al. “A Theoretical Analysis of the Fuzzy K-Means Problem.” 2016 IEEE 16th International Conference on Data Mining (ICDM), IEEE, 2016, pp. 805–10, doi:10.1109/icdm.2016.0094.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20556
Bodden, Eric, et al. “Information Flow Analysis for Go.” Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016, pp. 431–45, doi:10.1007/978-3-319-47166-2_30.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 207
Mäcker, Alexander, et al. “Cost-Efficient Scheduling on Machines from the Cloud.” Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592, doi:10.1007/978-3-319-48749-6_42.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
Bodden, Eric, et al. “Don’t Let Data Go Astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go.” Nordic Workshop on Programming Theory (NWPT’16), 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do, Lisa, et al. Just-in-Time Static Analysis. 2016, doi:http://dx.doi.org/10.7939/DVN/10859.
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
Rasthofer, Siegfried, et al. “Harvester - Vollautomatische Extraktion von Laufzeitwerten Aus Obfuskierten Android-Applikationen.” Datenschutz Und Datensicherheit, 2016, pp. 718–22, doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
Holzinger, Philipp, et al. “An In-Depth Study of More Than Ten Years of Java Exploitation.” Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–90, doi:http://doi.acm.org/10.1145/2976749.2978361.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
Follner, Andreas, et al. “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution.” International Workshop on Security and Trust Management (STM), 2016, pp. 212–28.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
Nguyen Quang Do, Lisa, et al. “Toward an Automated Benchmark Management System.” Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 13–17.
LibreCat
| Download (ext.)
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
2016 | Book Chapter | LibreCat-ID: 1845
W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols for Wireless Networks.” Encyclopedia of Algorithms, 2016, pp. 999--1002, doi:10.1007/978-1-4939-2864-4_593.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 186
Czech, Mike, et al. “Just Test What You Cannot Verify!” Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 2016, pp. 17–18.
LibreCat
| Files available