@articleBlömer_2012, title=Turing und Kryptografie, volume=35, DOI=10.1007/s00287-012-0622-7, number=4, journal=Informatik-Spektrum, author=Blömer, Johannes, year=2012 
LibreCat: /record/2984
DOI: 10.1007/s00287-012-0622-7

@bookJager_2012, title=On black-box models of computation in cryptology, publisher=Ruhr University Bochum, author=Jager, Tibor, year=2012 
LibreCat: /record/3132

@inproceedingsJager_Kohlar_Schäge_Schwenk_2012, title=On the Security of TLS-DHE in the Standard Model, DOI=10.1007/978-3-642-32009-5_17, booktitle=Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, author=Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg, year=2012, pages=273--293 
LibreCat: /record/3133
DOI: 10.1007/978-3-642-32009-5_17

@inproceedingsHofheinz_Jager_2012, title=Tightly Secure Signatures and Public-Key Encryption, DOI=10.1007/978-3-642-32009-5_35, booktitle=Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, author=Hofheinz, Dennis and Jager, Tibor, year=2012, pages=590--607 
LibreCat: /record/3134
DOI: 10.1007/978-3-642-32009-5_35

@inproceedingsJager_Schinzel_Somorovsky_2012, title=Bleichenbacher’s Attack Strikes again: Breaking PKCS .5 in XML Encryption, DOI=10.1007/978-3-642-33167-1_43, booktitle=Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, author=Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj, year=2012, pages=752--769 
LibreCat: /record/3135
DOI: 10.1007/978-3-642-33167-1_43

@inproceedingsHofheinz_Jager_Knapp_2012, title=Waters Signatures with Optimal Security Reduction, DOI=10.1007/978-3-642-30057-8_5, booktitle=Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, author=Hofheinz, Dennis and Jager, Tibor and Knapp, Edward, year=2012, pages=66--83 
LibreCat: /record/3136
DOI: 10.1007/978-3-642-30057-8_5

@articleTravkin_Wehrheim_Schellhorn_2012, title=Proving Linearizability of Multiset with Local Proof Obligations, journal=ECEASST, author=Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard, year=2012 
LibreCat: /record/3180

@articleRuhroth_Wehrheim_2012, title=Model evolution and refinement, DOI=10.1016/j.scico.2011.04.007, number=3, journal=Sci. Comput. Program., author=Ruhroth, Thomas and Wehrheim, Heike, year=2012, pages=270--289 
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

@inproceedingsSchellhorn_Wehrheim_Derrick_2012, series=Lecture Notes in Computer Science, title=How to Prove Algorithms Linearisable, DOI=10.1007/978-3-642-31424-7_21, booktitle=Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, author=Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John, editor=Madhusudan, P. and A. Seshia, SanjitEditors, year=2012, pages=243--259, collection=Lecture Notes in Computer Science 
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

@articleShi_Libuda_Schönau_Frassetto_Remer_2012, title=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, DOI=10.1016/j.bone.2012.01.026, journal=Bone, author=Shi, Lijie and Libuda, Lars and Schönau, Eckhard and Frassetto, Lynda and Remer, Thomas, year=2012, pages=1026–1031 
LibreCat: /record/27067
DOI: 10.1016/j.bone.2012.01.026

@articleVyncke_Libuda_De Vriendt_Moreno_Van Winckel_Manios_Gottrand_Molnar_Vanaelst_Sjöström_et al._2012, title=Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study., volume=108, DOI=10.1017/s000711451200030x, number=12, journal=Br J Nutr, author=Vyncke, KE and Libuda, Lars and De Vriendt, T and Moreno, LA and Van Winckel, M and Manios, Y and Gottrand, F and Molnar, D and Vanaelst, B and Sjöström, M and et al., year=2012, pages=2261–2273 
LibreCat: /record/27074
DOI: 10.1017/s000711451200030x
PMID: 22370331

@articleDuffey_Huybrechts_Mouratidou_Libuda_Kersting_De Vriendt_Gottrand_Widhalm_Dallongeville_Hallström_et al._2012, title=Beverage consumption among European adolescents in the HELENA study., volume=66, DOI=10.1038/ejcn.2011.166, number=2, journal=Eur J Clin Nutr, author=Duffey, KJ and Huybrechts, I and Mouratidou, T and Libuda, Lars and Kersting, M and De Vriendt, T and Gottrand, F and Widhalm, K and Dallongeville, J and Hallström, L and et al., year=2012, pages=244–252 
LibreCat: /record/27075
DOI: 10.1038/ejcn.2011.166
PMID: 21952695

@articleEngbring_Selke_2012, series=Commentarii informaticae didacticae, title=Computer science and society as a field of computer science, volume=5, publisher=Universit   "a tsverlag Potsda, author=Engbring, Dieter and Selke, Harald, editor=Forbrig, Peter and  Rick, Detlef and  Schmolitzky, Axel, year=2012, pages=111–116, collection=Commentarii informaticae didacticae 
LibreCat: /record/27176

@inproceedingsKlompmaker _Workowski_Thronicke_Ostermair_Willemsen_Hoffmann_2012, title=User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes, author=Klompmaker, Florian and  Workowski,  Anke  and Thronicke, Wolfgang  and Ostermair, Florian and Willemsen, Detlev and Hoffmann, D, year=2012 
LibreCat: /record/27177

@inproceedingsKlompmaker _Nebe_Eschenlohr_2012, title=Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices , publisher=Springer, author=Klompmaker, Florian and  Nebe, Karsten and Eschenlohr, Julien, year=2012 
LibreCat: /record/27179

@inproceedingsSelke_Winkelnkemper_2012, title=The technical potential of digital boards, author=Selke, Harald and Winkelnkemper, Felix, editor=Desel, J  "o rg and Haake,  J \'22 o rg and Spannagel, Christian, year=2012, pages=171–182 
LibreCat: /record/27180

@inproceedingsFischer_Geis_Kluge_Bogner _Polkehn_2012, title=Der Qualit\'22atsstandard f\'22ur Usability Engineering der German UPA - Aktueller Stand der Arbeiten, publisher=German UPA, author=Fischer, Holger Gerhard and Geis, Thomas  and Kluge, Oliver and Bogner, Christian and  Polkehn,  Knut, year=2012 
LibreCat: /record/27181

@inproceedingsTobias_Nebe _Klompmaker_2012, title=Base Requirements for Virtual Tabletop Groupware Artifacts, author=Tobias, M\'22uller and Nebe, Karsten and  Klompmaker, Florian, year=2012 
LibreCat: /record/27182

@articleFischer_Klompmaker_2012, title=Collaborative work on interactive displays - design, operation and fields of application, journal=M &; C, humans and computers, author=Fischer, Holger Gerhard and Klompmaker,  Florian, year=2012 
LibreCat: /record/27183

@inproceedingsKeil_2012, place=Paderborn, title=Das Heinz Nixdorf Institut: \'22Uber 25 Jahre interdisziplin\'22ar erfolgreich, publisher=Universit\'22at Paderborn, author=Keil, Reinhard, year=2012, pages=270–277 
LibreCat: /record/27184