On black-box models of computation in cryptology
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
LibreCat: /record/3132

On the Security of TLS-DHE in the Standard Model
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.
LibreCat: /record/3133
DOI: 10.1007/978-3-642-32009-5_17

Tightly Secure Signatures and Public-Key Encryption
D. Hofheinz, T. Jager, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.
LibreCat: /record/3134
DOI: 10.1007/978-3-642-32009-5_35

Bleichenbacher's Attack Strikes again: Breaking PKCS .5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
LibreCat: /record/3135
DOI: 10.1007/978-3-642-33167-1_43

Waters Signatures with Optimal Security Reduction
D. Hofheinz, T. Jager, E. Knapp, 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, pp. 66--83.
LibreCat: /record/3136
DOI: 10.1007/978-3-642-30057-8_5

Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, ECEASST (2012).
LibreCat: /record/3180

Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat: /record/27176

User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes
F. Klompmaker,  Anke   Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
LibreCat: /record/27177

Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices 
F. Klompmaker, K.  Nebe, J. Eschenlohr, in: Springer, 2012.
LibreCat: /record/27179

The technical potential of digital boards
H. Selke, F. Winkelnkemper, in: J. "o rg Desel,  J \'22 o rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
LibreCat: /record/27180

Der Qualit\'22atsstandard f\'22ur Usability Engineering der German UPA - Aktueller Stand der Arbeiten
H.G. Fischer, T. Geis, O. Kluge, C. Bogner,  Knut  Polkehn, in: German UPA, 2012.
LibreCat: /record/27181

Base Requirements for Virtual Tabletop Groupware Artifacts
M. Tobias, K. Nebe, F.  Klompmaker, in: 2012.
LibreCat: /record/27182

Collaborative work on interactive displays - design, operation and fields of application
H.G. Fischer,  Florian Klompmaker, M &; C, Humans and Computers (2012).
LibreCat: /record/27183

Das Heinz Nixdorf Institut: \'22Uber 25 Jahre interdisziplin\'22ar erfolgreich
R. Keil, in: Universit\'22at Paderborn, Paderborn, 2012, pp. 270–277.
LibreCat: /record/27184

EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS
F. Klompmaker,  Alexander  Dridger, K. Nebe, in: Proceedings of the ASME 2012 International Design Engineering Technical Conferences &; Computers and Information in Engineering Conference, ASME, 2012.
LibreCat: /record/27185

Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
LibreCat: /record/27187

Summary and Outlook
R. Keil, H.-J. "u rgen Metternich,  Steffan Ritzenhoff, in: R. Keil, H.-J. "u rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 112–115.
LibreCat: /record/27188

Durchl  "a ssigkeitsorientierte Bildung
R. Keil,  Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J. "u rgen Metternich, S.  Ritzenhoff (Eds.), 2012, pp. 80–94.
LibreCat: /record/27189