Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9820 Publications
2012 | Conference Paper | LibreCat-ID: 3133
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
| DOI
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.
2012 | Conference Paper | LibreCat-ID: 3134
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
| DOI
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.
2012 | Conference Paper | LibreCat-ID: 3135
Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.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
| DOI
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.
2012 | Conference Paper | LibreCat-ID: 3136
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
| DOI
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.
2012 | Journal Article | LibreCat-ID: 3180
Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
LibreCat
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
2012 | Journal Article | LibreCat-ID: 3181
Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
2012 | Conference Paper | LibreCat-ID: 3182
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
| DOI
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.
2012 | Conference Paper | LibreCat-ID: 27176
Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat
D. Engbring, H. Selke, 5 (2012) 111–116.
2012 | Conference Paper | LibreCat-ID: 27177
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
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
2012 | Conference Paper | LibreCat-ID: 27179
Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices
F. Klompmaker, K. Nebe, J. Eschenlohr, in: Springer, 2012.
LibreCat
F. Klompmaker, K. Nebe, J. Eschenlohr, in: Springer, 2012.
2012 | Conference Paper | LibreCat-ID: 27180
The technical potential of digital boards
H. Selke, F. Winkelnkemper, in: J.{\ "o} rg Desel, J {\" o} rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
LibreCat
H. Selke, F. Winkelnkemper, in: J.{\ "o} rg Desel, J {\" o} rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
2012 | Conference Paper | LibreCat-ID: 27181
Der Qualit{\"a}tsstandard f{\"u}r 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
H.G. Fischer, T. Geis, O. Kluge, C. Bogner, Knut Polkehn, in: German UPA, 2012.
2012 | Conference Paper | LibreCat-ID: 27182
Base Requirements for Virtual Tabletop Groupware Artifacts
M. Tobias, K. Nebe, F. Klompmaker, in: 2012.
LibreCat
M. Tobias, K. Nebe, F. Klompmaker, in: 2012.
2012 | Journal Article | LibreCat-ID: 27183
Collaborative work on interactive displays - design, operation and fields of application
H.G. Fischer, Florian Klompmaker, M & C, Humans and Computers (2012).
LibreCat
H.G. Fischer, Florian Klompmaker, M & C, Humans and Computers (2012).
2012 | Conference Paper | LibreCat-ID: 27184
Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich
R. Keil, in: Universit{\"a}t Paderborn, Paderborn, 2012, pp. 270–277.
LibreCat
R. Keil, in: Universit{\"a}t Paderborn, Paderborn, 2012, pp. 270–277.
2012 | Conference Paper | LibreCat-ID: 27185
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
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.
2012 | Conference Paper | LibreCat-ID: 27187
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
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
2012 | Conference Paper | LibreCat-ID: 27188
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
R. Keil, H.-J.{\ "u} rgen Metternich, Steffan Ritzenhoff, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 112–115.
2012 | Conference Paper | LibreCat-ID: 27189
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
R. Keil, Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 80–94.
2012 | Journal Article | LibreCat-ID: 27190
Automatic emotion recognition - technologies, interpretation and applications
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).
LibreCat
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).