Kniesburges, Sebastian. Distributed Data Structures and the Power of Topological Self-Stabilization. Universität Paderborn, 2015.
LibreCat: /record/305

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

Böhl, Florian, et al. “Confined Guessing: New Signatures From Standard Assumptions.”10.1007/s00145-014-9183-z__J. Cryptology, no. 1, 2015, pp. 176--208, doi:10.1007/s00145-014-9183-z.
LibreCat: /record/3120
DOI: 10.1007/s00145-014-9183-z

Jager, Tibor, et al. “On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS .5 Encryption.”10.1145/2810103.2813657__Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015, 2015, pp. 1185--1196, doi:10.1145/2810103.2813657.
LibreCat: /record/3121
DOI: 10.1145/2810103.2813657

Jager, Tibor, et al. “Practical Invalid Curve Attacks on TLS-ECDH.”10.1007/978-3-319-24174-6_21__Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I, 2015, pp. 407--425, doi:10.1007/978-3-319-24174-6_21.
LibreCat: /record/3122
DOI: 10.1007/978-3-319-24174-6_21

Heuer, Felix, et al. “On the Selective Opening Security of Practical Public-Key Encryption Schemes.”10.1007/978-3-662-46447-2_2__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, pp. 27--51, doi:10.1007/978-3-662-46447-2_2.
LibreCat: /record/3123
DOI: 10.1007/978-3-662-46447-2_2

Bergsma, Florian, et al. “One-Round Key Exchange with Strong Security: An Efficient and Generic Construction in the Standard Model.”10.1007/978-3-662-46447-2_21__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, pp. 477--494, doi:10.1007/978-3-662-46447-2_21.
LibreCat: /record/3124
DOI: 10.1007/978-3-662-46447-2_21

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

Bader, Christoph, et al. “Tightly-Secure Authenticated Key Exchange.”10.1007/978-3-662-46494-6_26__Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I, 2015, pp. 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, Paul, et al. “Comprehensive Service Matching with MatchBox.”10.1145/2786805.2803181__10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977, doi:10.1145/2786805.2803181.
LibreCat: /record/313
DOI: 10.1145/2786805.2803181

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

Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.”10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4, 2015, pp. 303--320, doi:10.1007/s00450-014-0259-7.
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog.”10.1007/978-3-319-23506-6_1__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, edited by Roland Meyer et al., 2015, pp. 3--4, doi:10.1007/978-3-319-23506-6_1.
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.”10.1007/978-3-319-19249-9_11__FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 2015, pp. 161--177, doi:10.1007/978-3-319-19249-9_11.
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, Heike, and Oleg Travkin. “TSO to SC via Symbolic Execution.”10.1007/978-3-319-26287-1_7__Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 2015, pp. 104--119, doi:10.1007/978-3-319-26287-1_7.
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Meyer, Roland, et al., editors. 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, Claudius. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat: /record/317

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

Mohr, Felix, et al. “Automated Online Service Composition.”10.1109/SCC.2015.18__Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64, doi:10.1109/SCC.2015.18.
LibreCat: /record/319
DOI: 10.1109/SCC.2015.18

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