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.
9884 Publications
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, et al. “On the Security of TLS-DHE in the Standard Model.” Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293, doi: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.” Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607, doi:10.1007/978-3-642-32009-5_35.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager, Tibor, et al. “Bleichenbacher’s Attack Strikes Again: Breaking PKCS#1 v1.5 in XML Encryption.” Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769, doi:10.1007/978-3-642-33167-1_43.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz, Dennis, et al. “Waters Signatures with Optimal Security Reduction.” Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, 2012, pp. 66--83, doi:10.1007/978-3-642-30057-8_5.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin, Oleg, et al. “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, pp. 270--289, doi:10.1016/j.scico.2011.04.007.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, Gerhard, et al. “How to Prove Algorithms Linearisable.” Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 2012, pp. 243--259, doi: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 et al., vol. 5, Universit { \ "a} tsverlag Potsda, 2012, pp. 111–16.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker, Florian, et al. User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker, Florian, et al. 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 et al., 2012, pp. 171–82.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
Fischer, Holger Gerhard, et al. 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, et al. 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. Universit{\"a}t Paderborn, 2012, pp. 270–77.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27185
Klompmaker, Florian, et al. “EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS.” 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, Holger Gerhard. “Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards.” Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–24.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27188
Keil, Reinhard, et al. Summary and Outlook. Edited by Reinhard Keil et al., 2012, pp. 112–15.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27189
Keil, Reinhard, et al. Durchl {\ "a} Ssigkeitsorientierte Bildung. Edited by Reinhard Keil et al., 2012, pp. 80–94.
LibreCat