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.
9762 Publications
2012 | Dissertation | LibreCat-ID: 3132
Jager T. On Black-Box Models of Computation in Cryptology. Ruhr University Bochum; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
Jager T, Kohlar F, Schäge S, Schwenk J. On the Security of TLS-DHE in the Standard Model. In: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. ; 2012:273--293. doi:10.1007/978-3-642-32009-5_17
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
Hofheinz D, Jager T. Tightly Secure Signatures and Public-Key Encryption. In: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. ; 2012:590--607. doi:10.1007/978-3-642-32009-5_35
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager T, Schinzel S, Somorovsky J. Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption. In: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. ; 2012:752--769. doi:10.1007/978-3-642-33167-1_43
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz D, Jager T, Knapp E. Waters Signatures with Optimal Security Reduction. In: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings. ; 2012:66--83. doi:10.1007/978-3-642-30057-8_5
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin O, Wehrheim H, Schellhorn G. Proving Linearizability of Multiset with Local Proof Obligations. {ECEASST}. 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
Ruhroth T, Wehrheim H. Model evolution and refinement. Sci Comput Program. 2012;(3):270--289. doi:10.1016/j.scico.2011.04.007
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn G, Wehrheim H, Derrick J. How to Prove Algorithms Linearisable. In: Madhusudan P, A. Seshia S, eds. Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Lecture Notes in Computer Science. ; 2012:243--259. doi:10.1007/978-3-642-31424-7_21
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
Engbring D, Selke H. Computer science and society as a field of computer science. Forbrig P, Rick D, Schmolitzky A, eds. 2012;5:111-116.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker F, Workowski Anke , Thronicke W, Ostermair F, Willemsen D, Hoffmann D. User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. In: ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker F, Nebe K, Eschenlohr J. Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices . In: Springer; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke H, Winkelnkemper F. The technical potential of digital boards. In: Desel J{\ "o} rg, Haake J {\" o} rg, Spannagel C, eds. ; 2012:171-182.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
Fischer HG, Geis T, Kluge O, Bogner C, Polkehn Knut. Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten. In: German UPA; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
Tobias M, Nebe K, Klompmaker F. Base Requirements for Virtual Tabletop Groupware Artifacts. In: ; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 27183
Fischer HG, Klompmaker Florian. Collaborative work on interactive displays - design, operation and fields of application. M & C, humans and computers. Published online 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27184
Keil R. Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich. In: Universit{\"a}t Paderborn; 2012:270-277.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27185
Klompmaker F, Dridger Alexander , Nebe K. EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. ASME; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27187
Fischer HG. Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark. ; 2012:321-324.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27188
Keil R, Metternich H-J{\ "u} rgen, Ritzenhoff Steffan. Summary and Outlook. In: Keil R, Metternich H-J{\ "u} rgen, Ritzenhoff S, eds. ; 2012:112-115.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27189
Keil R, Niehus Dominik, Ossenschmidt D. Durchl {\ "a} ssigkeitsorientierte Bildung. In: Keil R, Metternich H-J{\ "u} rgen, Ritzenhoff S, eds. ; 2012:80-94.
LibreCat