@inbook{2919, author = {{Kakvi, Saqib and Kiltz, Eike}}, booktitle = {{Advances in Cryptology – EUROCRYPT 2012}}, isbn = {{9783642290107}}, issn = {{0302-9743}}, pages = {{537--553}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Optimal Security Proofs for Full Domain Hash, Revisited}}}, doi = {{10.1007/978-3-642-29011-4_32}}, year = {{2012}}, } @article{2949, author = {{Gries, Thomas and Bilkic, Natascha and Pilichowski, Margarethe}}, journal = {{Labour Economics}}, number = {{5}}, pages = {{706 -- 717}}, title = {{{Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility}}}, doi = {{10.1016/j.labeco.2012.04.005}}, volume = {{19}}, year = {{2012}}, } @inbook{2950, author = {{Gries, Thomas and Xue, Jinjun}}, booktitle = {{ Rising China in the Changing World Economy}}, editor = {{Wang, Liming}}, isbn = {{9781138816732}}, pages = {{396 -- 412}}, title = {{{Poverty in Shenzhen}}}, year = {{2012}}, } @article{2951, author = {{Gries, Thomas and Meierrieks, Daniel}}, journal = {{Defence and Peace Economics}}, number = {{5}}, pages = {{447 -- 470}}, title = {{{Economic performance and terrorist activity in Latin America}}}, doi = {{10.1080/10242694.2012.656945}}, volume = {{23}}, year = {{2012}}, } @inproceedings{2982, author = {{Ackermann, Marcel Rudolf and Märtens, Marcus and Raupach, Christoph and Swierkot, Kamil and Lammersen, Christiane and Sohler, Christian}}, publisher = {{ACM}}, title = {{{StreamKM++: A clustering algorithm for data streams}}}, doi = {{10.1145/2133803.2184450}}, volume = {{17}}, year = {{2012}}, } @article{2984, abstract = {{Ich beschreibe die deutsche Enigma-Verschlüsselungsmaschine und skizziere, wie sie von den Codebrechern von Bletchely Park um Alan Turing gebrochen wurde. Besonderes Augenmerk lege ich auf die Beiträge Alan Turings und die Bedeutung seiner Leistung für die Entwicklung moderner Kryptografie. }}, author = {{Blömer, Johannes}}, issn = {{1432-122X}}, journal = {{Informatik-Spektrum}}, number = {{4}}, title = {{{Turing und Kryptografie}}}, doi = {{10.1007/s00287-012-0622-7}}, volume = {{35}}, year = {{2012}}, } @phdthesis{3132, author = {{Jager, Tibor}}, isbn = {{978-3-8348-1989-5}}, publisher = {{Ruhr University Bochum}}, title = {{{On black-box models of computation in cryptology}}}, year = {{2012}}, } @inproceedings{3133, author = {{Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}}, booktitle = {{Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}}, pages = {{273----293}}, title = {{{On the Security of TLS-DHE in the Standard Model}}}, doi = {{10.1007/978-3-642-32009-5_17}}, year = {{2012}}, } @inproceedings{3134, author = {{Hofheinz, Dennis and Jager, Tibor}}, booktitle = {{Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}}, pages = {{590----607}}, title = {{{Tightly Secure Signatures and Public-Key Encryption}}}, doi = {{10.1007/978-3-642-32009-5_35}}, year = {{2012}}, } @inproceedings{3135, author = {{Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj}}, booktitle = {{Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings}}, pages = {{752----769}}, title = {{{Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption}}}, doi = {{10.1007/978-3-642-33167-1_43}}, year = {{2012}}, } @inproceedings{3136, author = {{Hofheinz, Dennis and Jager, Tibor and Knapp, Edward}}, booktitle = {{Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings}}, pages = {{66----83}}, title = {{{Waters Signatures with Optimal Security Reduction}}}, doi = {{10.1007/978-3-642-30057-8_5}}, year = {{2012}}, } @article{3180, author = {{Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard}}, journal = {{{ECEASST}}}, title = {{{Proving Linearizability of Multiset with Local Proof Obligations}}}, year = {{2012}}, } @article{3181, author = {{Ruhroth, Thomas and Wehrheim, Heike}}, journal = {{Sci. Comput. Program.}}, number = {{3}}, pages = {{270----289}}, title = {{{Model evolution and refinement}}}, doi = {{10.1016/j.scico.2011.04.007}}, year = {{2012}}, } @inproceedings{3182, author = {{Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John}}, booktitle = {{Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}}, editor = {{Madhusudan, P. and A. Seshia, Sanjit}}, pages = {{243----259}}, title = {{{How to Prove Algorithms Linearisable}}}, doi = {{10.1007/978-3-642-31424-7_21}}, year = {{2012}}, } @article{27067, author = {{Shi, Lijie and Libuda, Lars and Schönau, Eckhard and Frassetto, Lynda and Remer, Thomas}}, issn = {{8756-3282}}, journal = {{Bone}}, pages = {{1026--1031}}, 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}}, year = {{2012}}, } @article{27074, 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 González-Gross, M and Censi, L and Widhalm, K and Michels, N and Gilbert, CC and Xatzis, C and Cuenca García, M and de Heredia, FP and De Henauw, S and Huybrechts, I and consortium, HELENA}}, issn = {{0007-1145}}, journal = {{Br J Nutr}}, number = {{12}}, pages = {{2261--2273}}, title = {{{Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study.}}}, doi = {{10.1017/s000711451200030x}}, volume = {{108}}, year = {{2012}}, } @article{27075, 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 González-Gross, M and De Henauw, S and Moreno, LA and Popkin, BM and Study group, HELENA}}, issn = {{0954-3007}}, journal = {{Eur J Clin Nutr}}, number = {{2}}, pages = {{244--252}}, title = {{{Beverage consumption among European adolescents in the HELENA study.}}}, doi = {{10.1038/ejcn.2011.166}}, volume = {{66}}, year = {{2012}}, } @inproceedings{27176, abstract = {{In this article we report on the experiences of a redesigned teaching in the field of computer science and society (IuG). The reasons for the redesign and the concept are outlined. We have condensed our experiences into theses: 1. Computer science and society should be a compulsory course in the bachelor's degree, in which students get an overview of which social framework conditions are relevant for them and how they can be incorporated into practice. 2. Historical contents of computer science are to be processed here by considering current developments in the context of their genesis. }}, author = {{Engbring, Dieter and Selke, Harald}}, editor = {{Forbrig, Peter and Rick, Detlef and Schmolitzky, Axel}}, pages = {{111--116}}, publisher = {{Universit { \ "a} tsverlag Potsda}}, title = {{{Computer science and society as a field of computer science}}}, volume = {{5}}, year = {{2012}}, } @inproceedings{27177, author = {{Klompmaker, Florian and Workowski, Anke and Thronicke, Wolfgang and Ostermair, Florian and Willemsen, Detlev and Hoffmann, D}}, title = {{{User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes}}}, year = {{2012}}, } @inproceedings{27179, author = {{Klompmaker, Florian and Nebe, Karsten and Eschenlohr, Julien}}, publisher = {{Springer}}, title = {{{Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices }}}, year = {{2012}}, }