Bader, Christoph, et al. “On the Impossibility of Tight Cryptographic Reductions.”10.1007/978-3-662-49896-5_10__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: /record/3117
DOI: 10.1007/978-3-662-49896-5_10

Hofheinz, Dennis, et al. “Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts.”10.1007/978-3-662-53644-5_6__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: /record/3118
DOI: 10.1007/978-3-662-53644-5_6

Hofheinz, Dennis, and Tibor Jager. “Verifiable Random Functions from Standard Assumptions.”10.1007/978-3-662-49096-9_14__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: /record/3119
DOI: 10.1007/978-3-662-49096-9_14

Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.”10.1007/978-3-319-45943-1_13__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: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.”10.1007/978-3-319-46750-4_1__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: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

Schellhorn, Gerhard, et al. “Towards a Thread-Local Proof Technique for Starvation Freedom.”10.1007/978-3-319-33693-0_13__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: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Doherty, Simon, et al. “Proving Opacity of a Pessimistic STM.”10.4230/LIPIcs.OPODIS.2016.35__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: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Isenberg, Tobias, et al. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.
LibreCat: /record/3161

Leder, Lennart. Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat: /record/210

Porzenheim, Laurens. Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes. Universität Paderborn, 2016.
LibreCat: /record/213

Bemmann, Kai Sören. Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat: /record/214

Drees, Maximilian, et al. “Churn- and DoS-Resistant Overlay Networks Based on Network Reconfiguration.”10.1145/2935764.2935783__Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427, doi:10.1145/2935764.2935783.
LibreCat: /record/215
DOI: 10.1145/2935764.2935783

Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.”10.1016/j.scico.2016.04.002__Science of Computer Programming, Elsevier, 2016, pp. 2--23, doi:10.1016/j.scico.2016.04.002.
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

Polevoy, Gleb, et al. “The Game of Reciprocation Habits.”10.3233/978-1-61499-672-9-417__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: /record/17655
DOI: 10.3233/978-1-61499-672-9-417

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: /record/17656

Abu-Khzam, Faisal N., et al. “On the Parameterized Parallel Complexity and the Vertex Cover Problem.”10.1007/978-3-319-48749-6_35__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: /record/177
DOI: 10.1007/978-3-319-48749-6_35

Meyer auf der Heide, Friedhelm, editor. “Introduction to the Special Issue on SPAA 2014.”10.1145/2936716__Transactions on Parallel Computing (TOPC), no. 1, 2016, doi:10.1145/2936716.
LibreCat: /record/187
DOI: 10.1145/2936716

Lass, Michael, et al. “Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension.”10.1109/lcn.2016.11__Proc. 41st Conference on Local Computer Networks (LCN), IEEE, 2016, doi:10.1109/lcn.2016.11.
LibreCat: /record/19
DOI: 10.1109/lcn.2016.11

Platenius, Marie Christin, et al. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.”10.1109/TSE.2016.2632115__IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, no. 8, IEEE, 2016, pp. 739–59, doi:10.1109/TSE.2016.2632115.
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115

Blömer, Johannes, et al. “A Theoretical Analysis of the Fuzzy K-Means Problem.”10.1109/icdm.2016.0094__2016 IEEE 16th International Conference on Data Mining (ICDM), IEEE, 2016, pp. 805–10, doi:10.1109/icdm.2016.0094.
LibreCat: /record/2367
DOI: 10.1109/icdm.2016.0094