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.
5786 Publications
2012 | Book Chapter | LibreCat-ID: 2919
Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.” In Advances in Cryptology – EUROCRYPT 2012, 537–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-29011-4_32.
LibreCat
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 2982
Ackermann, Marcel Rudolf, Marcus Märtens, Christoph Raupach, Kamil Swierkot, Christiane Lammersen, and Christian Sohler. “StreamKM++: A Clustering Algorithm for Data Streams.” ACM Journal of Experimental Algorithmics. New York, NY, USA: ACM, 2012. https://doi.org/10.1145/2133803.2184450.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
Blömer, Johannes. “Turing Und Kryptografie.” Informatik-Spektrum 35, no. 4 (2012). https://doi.org/10.1007/s00287-012-0622-7.
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
Jager, Tibor. On Black-Box Models of Computation in Cryptology. Ruhr University Bochum, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “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, 273--293, 2012. https://doi.org/10.1007/978-3-642-32009-5_17.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
Hofheinz, Dennis, and Tibor Jager. “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, 590--607, 2012. https://doi.org/10.1007/978-3-642-32009-5_35.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager, Tibor, Sebastian Schinzel, and Juraj Somorovsky. “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, 752--769, 2012. https://doi.org/10.1007/978-3-642-33167-1_43.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz, Dennis, Tibor Jager, and Edward Knapp. “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, 66--83, 2012. https://doi.org/10.1007/978-3-642-30057-8_5.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin, Oleg, Heike Wehrheim, and Gerhard Schellhorn. “Proving Linearizability of Multiset with Local Proof Obligations.” {ECEASST}, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
Ruhroth, Thomas, and Heike Wehrheim. “Model Evolution and Refinement.” Sci. Comput. Program., no. 3 (2012): 270--289. https://doi.org/10.1016/j.scico.2011.04.007.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, Gerhard, Heike Wehrheim, and John Derrick. “How to Prove Algorithms Linearisable.” In Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 243--259. Lecture Notes in Computer Science, 2012. https://doi.org/10.1007/978-3-642-31424-7_21.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
Engbring, Dieter, and Harald Selke. “Computer Science and Society as a Field of Computer Science.” Edited by Peter Forbrig, Detlef Rick, and Axel Schmolitzky. Commentarii Informaticae Didacticae. Universit { \ "a} tsverlag Potsda, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker, Florian, Anke Workowski, Wolfgang Thronicke, Florian Ostermair, Detlev Willemsen, and D Hoffmann. “User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker, Florian, Karsten Nebe, and Julien Eschenlohr. “Towards Multimodal 3D Tabletop Interaction Using Sensor Equipped Mobile Devices .” Springer, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke, Harald, and Felix Winkelnkemper. “The Technical Potential of Digital Boards.” edited by J {\ "o} rg Desel, J {\" o} rg Haake, and Christian Spannagel, 171–82, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
Fischer, Holger Gerhard, Thomas Geis, Oliver Kluge, Christian Bogner, and Knut Polkehn. “Der Qualit{\"a}tsstandard F{\"u}r Usability Engineering Der German UPA - Aktueller Stand Der Arbeiten.” German UPA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
Tobias, M{\"u}ller, Karsten Nebe, and Florian Klompmaker. “Base Requirements for Virtual Tabletop Groupware Artifacts,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 27183
Fischer, Holger Gerhard, and Florian Klompmaker. “Collaborative Work on Interactive Displays - Design, Operation and Fields of Application.” M & C, Humans and Computers, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27184
Keil, Reinhard. “Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre Interdisziplin{\"a}r Erfolgreich,” 270–77. Paderborn: Universit{\"a}t Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27185
Klompmaker, Florian, Alexander Dridger, and Karsten Nebe. “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