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.

18379 Publications


2015 | Conference Paper | LibreCat-ID: 3121
T. Jager, J. Schwenk, and J. Somorovsky, “On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption,” in Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015, 2015, pp. 1185--1196.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3126
C. Bader, D. Hofheinz, T. Jager, E. Kiltz, and Y. Li, “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, pp. 629--658.
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 316
J. Pautz, Budget Games with priced strategies. Universität Paderborn, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 3164
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, “Verifying Opacity of a Transactional Mutex Lock,” in {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.
LibreCat | DOI
 

2015 | Dissertation | LibreCat-ID: 265
C. Hallmann, Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 2705
M. Müller, C. Meier, D. Kundisch, and S. Zimmermann, “Interactions in IS Project Portfolio Selection: Status Quo and Perspective,” in Wirtschaftsinformatik Proceedings, Osnabrück, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 272
A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332.
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 246
G. Besova, Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Dissertation | LibreCat-ID: 304
A. Koutsopoulos, Dynamics and Efficiency in Topological Self-Stabilization. Universität Paderborn, 2015.
LibreCat | Files available
 

2015 | Mastersthesis | LibreCat-ID: 309
B. Topal, Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen. Universität Paderborn, 2015.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed