Reimann, A. (2015). Die Wirksamkeit von Zertifikaten als Qualitätssignal. Universität Paderborn.
LibreCat: /record/308

Topal, B. (2015). Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen. Universität Paderborn.
LibreCat: /record/309

Bruns, M. (2015). Design of an Evaluation Strategy for Fuzzy Service Matching. Universität Paderborn.
LibreCat: /record/310

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

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

Jager, T., Schwenk, J., &; Somorovsky, J. (2015). 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 (pp. 1185--1196).https://doi.org/10.1145/2810103.2813657 
LibreCat: /record/3121
DOI: 10.1145/2810103.2813657

Jager, T., Schwenk, J., &; Somorovsky, J. (2015). 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 (pp. 407--425).https://doi.org/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. (2015). 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 (pp. 27--51).https://doi.org/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. (2015). 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 (pp. 477--494).https://doi.org/10.1007/978-3-662-46447-2_21 
LibreCat: /record/3124
DOI: 10.1007/978-3-662-46447-2_21

Jager, T. (2015). 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 (pp. 121--143).https://doi.org/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. (2015). 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 (pp. 629--658).https://doi.org/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, M. C. (2015). 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) (pp. 974--977).https://doi.org/10.1145/2786805.2803181 
LibreCat: /record/313
DOI: 10.1145/2786805.2803181

Brangewitz, S., &; Manegold, J. (2015). Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn.
LibreCat: /record/314

Jungmann, A., Jatzkowski, J., &; Kleinjohann, B. (2015). Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In Proceedings of the 5th IFIP International Embedded Systems Symposium.
LibreCat: /record/315

Pautz, J. (2015). Budget Games with priced strategies. Universität Paderborn.
LibreCat: /record/316

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

Meyer, R., &; Wehrheim, H. (2015). From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog. In R. Meyer, A. Platzer, &; H. Wehrheim (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 (pp. 3--4).https://doi.org/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. (2015). Verifying Opacity of a Transactional Mutex Lock. In N. Bjrner &; F. S. de Boer (Eds.), FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (pp. 161--177).https://doi.org/10.1007/978-3-319-19249-9_11 
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, H., &; Travkin, O. (2015). TSO to SC via Symbolic Execution. In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (pp. 104--119).https://doi.org/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.). (2015). 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.https://doi.org/10.1007/978-3-319-23506-6 
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6