Blömer J. Turing und Kryptografie. Informatik-Spektrum. 2012;35(4). doi:10.1007/s00287-012-0622-7

Jager T. On Black-Box Models of Computation in Cryptology. Ruhr University Bochum; 2012.

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

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

Jager T, Schinzel S, Somorovsky J. Bleichenbacher’s Attack Strikes again: Breaking PKCS .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

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

Travkin O, Wehrheim H, Schellhorn G. Proving Linearizability of Multiset with Local Proof Obligations. ECEASST. 2012.

Ruhroth T, Wehrheim H. Model evolution and refinement. Sci Comput Program. 2012;(3):270--289. doi:10.1016/j.scico.2011.04.007

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

Shi L, Libuda L, Schönau E, Frassetto L, Remer T. Long term higher urinary calcium excretion within the normal physiologic range predicts impaired bone status of the proximal radius in healthy children with higher potential renal acid load. Bone. Published online 2012:1026-1031. doi:10.1016/j.bone.2012.01.026

Vyncke K, Libuda L, De Vriendt T, et al. Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study. Br J Nutr. 2012;108(12):2261-2273. doi:10.1017/s000711451200030x

Duffey K, Huybrechts I, Mouratidou T, et al. Beverage consumption among European adolescents in the HELENA study. Eur J Clin Nutr. 2012;66(2):244-252. doi:10.1038/ejcn.2011.166

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.

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.

Klompmaker F,  Nebe K, Eschenlohr J. Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices . In: Springer; 2012.

Selke H, Winkelnkemper F. The technical potential of digital boards. In: Desel J "o rg, Haake  J \'22 o rg, Spannagel C, eds. ; 2012:171-182.

Fischer HG, Geis T, Kluge O, Bogner C,  Polkehn  Knut. Der Qualit\'22atsstandard f\'22ur Usability Engineering der German UPA - Aktueller Stand der Arbeiten. In: German UPA; 2012.

Tobias M, Nebe K,  Klompmaker F. Base Requirements for Virtual Tabletop Groupware Artifacts. In: ; 2012.

Fischer HG, Klompmaker  Florian. Collaborative work on interactive displays - design, operation and fields of application. M &; C, humans and computers. Published online 2012.

Keil R. Das Heinz Nixdorf Institut: \'22Uber 25 Jahre interdisziplin\'22ar erfolgreich. In: Universit\'22at Paderborn; 2012:270-277.