Turing und Kryptografie
J. Blömer, Informatik-Spektrum 35 (2012).
LibreCat: /record/2984
DOI: 10.1007/s00287-012-0622-7

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

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
L. Shi, L. Libuda, E. Schönau, L. Frassetto, T. Remer, Bone (2012) 1026–1031.
LibreCat: /record/27067
DOI: 10.1016/j.bone.2012.01.026

Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study.
K. Vyncke, L. Libuda, T. De Vriendt, L. Moreno, M. Van Winckel, Y. Manios, F. Gottrand, D. Molnar, B. Vanaelst, M. Sjöström, M. González-Gross, L. Censi, K. Widhalm, N. Michels, C. Gilbert, C. Xatzis, M. Cuenca García, F. de Heredia, S. De Henauw, I. Huybrechts, H. consortium, Br J Nutr 108 (2012) 2261–2273.
LibreCat: /record/27074
DOI: 10.1017/s000711451200030x
PMID: 22370331

Beverage consumption among European adolescents in the HELENA study.
K. Duffey, I. Huybrechts, T. Mouratidou, L. Libuda, M. Kersting, T. De Vriendt, F. Gottrand, K. Widhalm, J. Dallongeville, L. Hallström, M. González-Gross, S. De Henauw, L. Moreno, B. Popkin, H. Study group, Eur J Clin Nutr 66 (2012) 244–252.
LibreCat: /record/27075
DOI: 10.1038/ejcn.2011.166
PMID: 21952695

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