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.
9900 Publications
2012 | Conference Paper | LibreCat-ID: 26264
Mathews, E., & Mathew, C. (2012). Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. Third International Conference on Networks & Communications, LNICST.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
Wachsmuth, H., & Stein, B. (2012). Optimal Scheduling of Information Extraction Algorithms. In Proceedings of COLING 2012: Posters (pp. 1281–1290).
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2918
Kakvi, S., Kiltz, E., & May, A. (2012). Certifying RSA. In Advances in Cryptology – ASIACRYPT 2012 (pp. 404–414). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-34961-4_25
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2919
Kakvi, S., & Kiltz, E. (2012). Optimal Security Proofs for Full Domain Hash, Revisited. In Advances in Cryptology – EUROCRYPT 2012 (pp. 537–553). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-29011-4_32
LibreCat
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 2982
Ackermann, M. R., Märtens, M., Raupach, C., Swierkot, K., Lammersen, C., & Sohler, C. (2012). StreamKM++: A clustering algorithm for data streams. New York, NY, USA: ACM. https://doi.org/10.1145/2133803.2184450
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
Blömer, J. (2012). Turing und Kryptografie. Informatik-Spektrum, 35(4). https://doi.org/10.1007/s00287-012-0622-7
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
Jager, T. (2012). On black-box models of computation in cryptology. Ruhr University Bochum.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2012). 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 (pp. 273--293). https://doi.org/10.1007/978-3-642-32009-5_17
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
Hofheinz, D., & Jager, T. (2012). 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 (pp. 590--607). https://doi.org/10.1007/978-3-642-32009-5_35
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager, T., Schinzel, S., & Somorovsky, J. (2012). Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption. In Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings (pp. 752--769). https://doi.org/10.1007/978-3-642-33167-1_43
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz, D., Jager, T., & Knapp, E. (2012). 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 (pp. 66--83). https://doi.org/10.1007/978-3-642-30057-8_5
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin, O., Wehrheim, H., & Schellhorn, G. (2012). Proving Linearizability of Multiset with Local Proof Obligations. {ECEASST}.
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
Ruhroth, T., & Wehrheim, H. (2012). Model evolution and refinement. Sci. Comput. Program., (3), 270--289. https://doi.org/10.1016/j.scico.2011.04.007
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, G., Wehrheim, H., & Derrick, J. (2012). How to Prove Algorithms Linearisable. In P. Madhusudan & S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (pp. 243--259). https://doi.org/10.1007/978-3-642-31424-7_21
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
Engbring, D., & Selke, H. (2012). Computer science and society as a field of computer science (P. Forbrig, D. Rick, & A. Schmolitzky, Eds.; Vol. 5, pp. 111–116). Universit { \ "a} tsverlag Potsda.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker, F., Workowski, Anke , Thronicke, W., Ostermair, F., Willemsen, D., & Hoffmann, D. (2012). User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. 3rd International Conference on Wireless Mobile Communication and Healthcare.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker, F., Nebe, K., & Eschenlohr, J. (2012). Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices . Fourth International Conference on Mobile Computing, Applications and Services.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke, H., & Winkelnkemper, F. (2012). The technical potential of digital boards (J. {\ "o} rg Desel, J {\" o} rg Haake, & C. Spannagel, Eds.; pp. 171–182).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
Fischer, H. G., Geis, T., Kluge, O., Bogner, C., & Polkehn, Knut. (2012). Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten. Brau, H. et al. (Hrsg.): Jahresband Usability Professionals 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
Tobias, M., Nebe, K., & Klompmaker, F. (2012). Base Requirements for Virtual Tabletop Groupware Artifacts. Kollaboratives Arbeiten an interaktiven Displays, Workshop im Rahmen der Mensch und Computer 2012.
LibreCat