Jager, Tibor. On Black-Box Models of Computation in Cryptology. Ruhr University Bochum, 2012.
LibreCat: /record/3132

Jager, Tibor, et al. “On the Security of TLS-DHE in the Standard Model.”10.1007/978-3-642-32009-5_17__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: /record/3133
DOI: 10.1007/978-3-642-32009-5_17

Hofheinz, Dennis, and Tibor Jager. “Tightly Secure Signatures and Public-Key Encryption.”10.1007/978-3-642-32009-5_35__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: /record/3134
DOI: 10.1007/978-3-642-32009-5_35

Jager, Tibor, et al. “Bleichenbacher’s Attack Strikes Again: Breaking PKCS .5 in XML Encryption.”10.1007/978-3-642-33167-1_43__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: /record/3135
DOI: 10.1007/978-3-642-33167-1_43

Hofheinz, Dennis, et al. “Waters Signatures with Optimal Security Reduction.”10.1007/978-3-642-30057-8_5__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: /record/3136
DOI: 10.1007/978-3-642-30057-8_5

Travkin, Oleg, et al. “Proving Linearizability of Multiset with Local Proof Obligations.” ECEASST, 2012.
LibreCat: /record/3180

Ruhroth, Thomas, and Heike Wehrheim. “Model Evolution and Refinement.”10.1016/j.scico.2011.04.007__Sci. Comput. Program., no. 3, 2012, pp. 270--289, doi:10.1016/j.scico.2011.04.007.
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

Schellhorn, Gerhard, et al. “How to Prove Algorithms Linearisable.”10.1007/978-3-642-31424-7_21__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: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

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: /record/27176

Klompmaker, Florian, et al. User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. 2012.
LibreCat: /record/27177

Klompmaker, Florian, et al. Towards Multimodal 3D Tabletop Interaction Using Sensor Equipped Mobile Devices . Springer, 2012.
LibreCat: /record/27179

Selke, Harald, and Felix Winkelnkemper. The Technical Potential of Digital Boards. Edited by J  "o rg Desel et al., 2012, pp. 171–82.
LibreCat: /record/27180

Fischer, Holger Gerhard, et al. Der Qualit\'22atsstandard F\'22ur Usability Engineering Der German UPA - Aktueller Stand Der Arbeiten. German UPA, 2012.
LibreCat: /record/27181

Tobias, M\'22uller, et al. Base Requirements for Virtual Tabletop Groupware Artifacts. 2012.
LibreCat: /record/27182

Fischer, Holger Gerhard, and  Florian Klompmaker. “Collaborative Work on Interactive Displays - Design, Operation and Fields of Application.” M &; C, Humans and Computers, 2012.
LibreCat: /record/27183

Keil, Reinhard. Das Heinz Nixdorf Institut: \'22Uber 25 Jahre Interdisziplin\'22ar Erfolgreich. Universit\'22at Paderborn, 2012, pp. 270–77.
LibreCat: /record/27184

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: /record/27185

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: /record/27187

Keil, Reinhard, et al. Summary and Outlook. Edited by Reinhard Keil et al., 2012, pp. 112–15.
LibreCat: /record/27188

Keil, Reinhard, et al. Durchl  "a Ssigkeitsorientierte Bildung. Edited by Reinhard Keil et al., 2012, pp. 80–94.
LibreCat: /record/27189