Schleiter P. Constructions of Fully Secure Predicate Encryption Schemes. Universität Paderborn; 2015.
LibreCat: /record/312

Böhl F, Hofheinz D, Jager T, Koch J, Striecks C. Confined Guessing: New Signatures From Standard Assumptions. J Cryptology. 2015;(1):176--208. doi:10.1007/s00145-014-9183-z
LibreCat: /record/3120
DOI: 10.1007/s00145-014-9183-z

Jager T, Schwenk J, Somorovsky J. On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS .5 Encryption. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015. ; 2015:1185--1196. doi:10.1145/2810103.2813657
LibreCat: /record/3121
DOI: 10.1145/2810103.2813657

Jager T, Schwenk J, Somorovsky J. Practical Invalid Curve Attacks on TLS-ECDH. In: Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I. ; 2015:407--425. doi:10.1007/978-3-319-24174-6_21
LibreCat: /record/3122
DOI: 10.1007/978-3-319-24174-6_21

Heuer F, Jager T, Kiltz E, Schäge S. On the Selective Opening Security of Practical Public-Key Encryption Schemes. In: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings. ; 2015:27--51. doi:10.1007/978-3-662-46447-2_2
LibreCat: /record/3123
DOI: 10.1007/978-3-662-46447-2_2

Bergsma F, Jager T, Schwenk J. One-Round Key Exchange with Strong Security: An Efficient and Generic Construction in the Standard Model. In: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings. ; 2015:477--494. doi:10.1007/978-3-662-46447-2_21
LibreCat: /record/3124
DOI: 10.1007/978-3-662-46447-2_21

Jager T. Verifiable Random Functions from Weaker Assumptions. In: Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II. ; 2015:121--143. doi:10.1007/978-3-662-46497-7_5
LibreCat: /record/3125
DOI: 10.1007/978-3-662-46497-7_5

Bader C, Hofheinz D, Jager T, Kiltz E, Li Y. Tightly-Secure Authenticated Key Exchange. In: Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I. ; 2015:629--658. doi:10.1007/978-3-662-46494-6_26
LibreCat: /record/3126
DOI: 10.1007/978-3-662-46494-6_26

Börding P, Bruns M, Platenius MC. Comprehensive Service Matching with MatchBox. In: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15). ; 2015:974--977. doi:10.1145/2786805.2803181
LibreCat: /record/313
DOI: 10.1145/2786805.2803181

Pautz J. Budget Games with Priced Strategies. Universität Paderborn; 2015.
LibreCat: /record/316

Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration. Computer Science - R &; D. 2015;(3-4):303--320. doi:10.1007/s00450-014-0259-7
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Meyer R, Wehrheim H. From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog. In: Meyer R, Platzer A, Wehrheim H, eds. Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science. ; 2015:3--4. doi:10.1007/978-3-319-23506-6_1
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick J, Dongol B, Schellhorn G, Travkin O, Wehrheim H. Verifying Opacity of a Transactional Mutex Lock. In: Bjrner N, S. de Boer F, eds. FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Lecture Notes in Computer Science. ; 2015:161--177. doi:10.1007/978-3-319-19249-9_11
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim H, Travkin O. TSO to SC via Symbolic Execution. In: Piterman N, ed. Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Lecture Notes in Computer Science. ; 2015:104--119. doi:10.1007/978-3-319-26287-1_7
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Meyer R, Platzer A, Wehrheim H, eds. Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings.; 2015. doi:10.1007/978-3-319-23506-6
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6

Jähn C. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn; 2015.
LibreCat: /record/317

Huma Z. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn; 2015.
LibreCat: /record/318

Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: Proceedings of the 12th IEEE International Conference on Services Computing (SCC). ; 2015:57--64. doi:10.1109/SCC.2015.18
LibreCat: /record/319
DOI: 10.1109/SCC.2015.18

Abshoff S. On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks. Universität Paderborn; 2015.
LibreCat: /record/270

Drees M, Feldotto M, Riechers S, Skopalik A. On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games. In: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT). Lecture Notes in Computer Science. ; 2015:178-189. doi:10.1007/978-3-662-48433-3_14
LibreCat: /record/271
DOI: 10.1007/978-3-662-48433-3_14
arXiv: 1507.02908