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.
5792 Publications
2017 | Dissertation | LibreCat-ID: 2908
Bujna K. Soft Clustering Algorithms - Theoretical and Practical Improvements. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-226
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 2967 | 
Blömer J, Liske G. Subtleties in Security Definitions for Predicate Encryption with Public Index. In: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS). Vol 10693. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:438-453. doi:10.1007/978-3-319-72453-9_35
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 3108
Jager T, Kohlar F, Schäge S, Schwenk J. Authenticated Confidential Channel Establishment and the Security of TLS-DHE. J Cryptology. 2017;(4):1276--1324. doi:10.1007/s00145-016-9248-2
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3109
Hale B, Jager T, Lauer S, Schwenk J. Simple Security Definitions for and Constructions of 0-RTT Key Exchange. In: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings. ; 2017:20--38. doi:10.1007/978-3-319-61204-1_2
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3110
Günther F, Hale B, Jager T, Lauer S. 0-RTT Key Exchange with Full Forward Secrecy. In: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III. ; 2017:519--548. doi:10.1007/978-3-319-56617-7_18
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3111
Jager T, Stam M, Stanley-Oakes R, Warinschi B. Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy. In: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I. ; 2017:409--441. doi:10.1007/978-3-319-70500-2_14
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3155
Töws M, Wehrheim H. Policy Dependent and Independent Information Flow Analyses. In: Duan Z, Ong L, eds. Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings. Lecture Notes in Computer Science. ; 2017:362--378. doi:10.1007/978-3-319-68690-5_22
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3156
König J, Wehrheim H. Value-Based or Conflict-Based? Opacity Definitions for STMs. In: Van Hung D, Kapur D, eds. Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Lecture Notes in Computer Science. ; 2017:118--135. doi:10.1007/978-3-319-67729-3_8
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2741
Ali Ashraf S, Wang Y-PE, Eldessoki S, et al. From Radio Design to System Evaluations for Ultra-Reliable and Low-Latency Communication . In: Dresden: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017; 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 112
Feldotto M, Leder L, Skopalik A. Congestion Games with Complementarities. In: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC). LNCS. ; 2017:222--233. doi:10.1007/978-3-319-57586-5_19
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
Feldotto M, Gairing M, Kotsialou G, Skopalik A. Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games. In: Proceedings of the 13th International Conference on Web and Internet Economics (WINE). ; 2017. doi:10.1007/978-3-319-71924-5_14
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
Jakobs M-C, Wehrheim H. Compact Proof Witnesses. In: Barrett C, Davies M, Kahsai T, eds. NASA Formal Methods: 9th International Symposium. Lecture Notes in Computer Science. ; 2017:389-403. doi:10.1007/978-3-319-57288-8_28
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
Jakobs M-C, Krämer J, van Straaten D, Lettmann T. Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl TP, ed. The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2017:7-12.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen LM. A Framework for the Synthesis of Approximate Circuits. Universität Paderborn; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 1158
Seemann N, Merten M-L, Geierhos M, Tophinke D, Hüllermeier E. Annotation Challenges for Reconstructing the Structural Elaboration of Middle Low German. In: Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature. Stroudsburg, PA, USA: Association for Computational Linguistics (ACL); 2017:40-45. doi:10.18653/v1/W17-2206
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 116
Liske G. CCA-Security for Predicate Encryption Schemes. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-220
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 17652
Polevoy G, Trajanovski S, Grosso P, de Laat C. Filtering Undesirable Flows in Networks. In: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:3-17. doi:10.1007/978-3-319-71150-8_1
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 17653
Polevoy G, de Weerdt MM. Reciprocation Effort Games. In: Proceedings of the 29th Benelux Conference on Artificial Intelligence. CCIS. Springer; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 17654
Polevoy G, de Weerdt MM. Competition between Cooperative Projects. In: Proceedings of the 29th Benelux Conference on Artificial Intelligence. CCIS. Springer; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas M, Monien B. Conditional Value-at-Risk: Structure and Complexity of Equilibria. In: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017). Vol 10504. LNCS. ; 2017:131--143. doi:10.1007/978-3-319-66700-3_11
LibreCat
| Files available
| DOI