| 
Publications
Presentations (titles and, where appropriate, slides) are listed here.
DBLP Computer Science Bibliography
- By author
Please contact the author/s in case you cannot obtain a copy of a specific paper. Students of TU Darmstadt have access to all ACM and IEEE publications, and many others, through the 
Universitäts und Landesbibliothek.
Technical Reports and Preprints
- Marco Ghiglieri, Hervais Simo, Michael Waidner: Technical Aspects of Online Privacy; Technical Report, Darmstadt, Feb 27, 2012
- Michael Waidner: Informationssicherheit; Technical Report, Darmstadt, May 1, 2012.
Published in: Der digitale Dämon; Ralph Haupt (Hrsg.); Redline Verlag, November 2012.
Abbr. version published in: BITKOM Newsline 2/2012, November 2012.
Other Publications and Media Information
- Fraunhofer SIT Technical Reports, published by Fraunhofer-Verlag, München
- Fraunhofer SIT Media / Publications
- CASED Publications
Publications of Michael Waidner's Research Groups Prior to 2010
- IBM Zurich Research Lab, Security Research (1994-2006). Some preprints are available through IBM Research's Paper Search Service. These pages are still updated, and thus include also publications from the time after Michael Waidner had left IBM.
- Security in Computer Networks (Sirene) (1985-2002); there is also a mirror copy here. This archive is not maintained anymore; we apologize for any broken links.
General Information on Publications in Security, Privacy and Cryptography
- Ranking of conferences and journals, by Microsoft Research
- Conference calendars (incl. submission deadlines) are maintained by various organizations, e.g. IACR, IEEE Cipher, UCL Crypto Group
Publications
2013 |
| HbbTV - I Know What You Are Watching |
| Marco Ghiglieri, Florian Oswald, Erik Tews In: 13. Deutschen IT-Sicherheitskongresses, SecuMedia Verlags-GmbH, Mai 2013. |
| Events Around Me - Ein datenschutzfreundlicher Veranstaltungskompass |
| Marco Ghiglieri, Lukas Kalabis, David Kelm In: 13. Deutschen IT-Sicherheitskongress, SecuMedia Verlags-GmbH, Mai 2013. |
2012 |
| Smart Home Dashboard – Das intelligente Energiemanagement |
| Martin Stopczynski, Marco Ghiglieri In: VDE KONGRESS 2012 Smart Grid, VDE Verlag GmbH, November 2012. ISBN 978-3-8007-3446-7. www.vde-verlag.de/proceedings-de/453446061.html _blank. |
| Security Analysis of HTML5 Features |
| Markus Heinrich Oktober 2012. |
| Approach to Detect and Prevent Browser-Fingerprinting using a Chrome Extension |
| Roman Pilipchuk Oktober 2012. |
| Detection of Category Breaches in E-Mail Threads Using RSS Data Feeds |
| Florian Kirchbuchner September 2012. |
| CloudRaid - Ein sicherer Raid-Manager für freie Cloud Storages |
| Klaus Wilhelmi August 2012. |
| Events Around Me - Ein Mobiler Datenschutzfreundlicher Veranstaltungskompass |
| David Kelm Juli 2012. |
| Detection, Visualization and Prevention of Social Engineering Attacks on E-Mails by Using Machine Learning Techniques |
| Heinrich-Alexander Engels Juli 2012. |
| C4PS: colors for privacy settings |
| Thomas Paul, Martin Stopczynski, Daniel Puscher, Melanie Volkamer, Thorsten Strufe In: ACM: Proceedings of the 21st international conference companion on World Wide Web, vol. WWW '12 Companion, p. 585--586, Mai 2012. ISBN 978-1-4503-1230-1. doi.acm.org/10.1145/2187980.2188139 _blank. |
| Entwicklung und Evaluierung eines grafischen Passwortsystems basierend auf Google Maps |
| Natalie Faber April 2012. |
| Ansatz zur Erkennung von HTTPS Stripping Attacken |
| Tino Fuhrmann Februar 2012. |
| Technical Aspects of Online Privacy |
| Marco Ghiglieri, Hervais Simo, Michael Waidner Februar 2012. |
| Sicherheit 2012: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 6. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 7.-9. März 2012 in Darmstadt |
In: Neeraj Suri and Michael Waidner, vol. 195, vol. LNI, GI, 2012. |
| Das Recht auf Vergessenwerden nach der geplanten EU-Verordnung - Umsetzungsmöglichkeiten im Internet |
| Lukas Kalabis, Annika Selzer In: Datenschutz und Datensicherheit, vol. 36, no. 9, p. 670--675 , 2012. |
| C4PS - Helping Facebookers Manage Their Privacy Settings |
| Thomas Paul, Martin Stopczynski, Daniel Puscher, Melanie Volkamer, Thorsten Strufe In: Springer Berlin Heidelberg: Social Informatics, vol. Lecture Notes in Computer Science, no. 7710, p. 188-201, 2012. ISBN 978-3-642-35385-7. |
| Autorenschaftsanalyse im Kontext der Attributation, Verifikation und intrinsischen Explorationen |
| Oren Avni (Halvani) 2012. |
| Sicherheitsanalyse der Client-Server-Architektur für die Authetifizierung mit dem nPA und eine prototypische Entwicklung einer eID-kompatiblen Client-Server-basierten Software |
| Konstantin Filtschew 2012. |
2011 |
| Using an object model to improve handling of personally identifiable information |
| Steven B Adler, Endre Felix Bangerter, Kathryn Ann Bohrer, Nigel Howard Julian Brown, Jan Camenisch, Arthur M Gilbert, Dogan Kesdogan, Matthew P Leonard, Xuan Liu, Michael Robert McCullough, Adam Charles Nelson, Charles Campbell Palmer, Calvin no. 7,962,962, 2011. |
| Andreas Pfitzmann 1958 - 2010 |
| Hannes Federrath, Marit Hansen, Michael Waidner In: it - Information Technology, vol. 53, no. 1, p. 5--7, 2011. |
| Online Privacy: Towards Informational Self-Determination on the Internet |
| Simone Fischer-Hübner, Chris Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris, Michael Marh"ofer In: Dagstuhl Perspectives Workshop 11061, Dagstuhl Reports, 2011. |
| Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061) |
| Simone Fischer-Hübner, Chris Jay Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris, Michael Marhöfer In: Dagstuhl Reports, vol. 1, no. 2, p. 1--15, 2011. |
| Data network and method for checking nodes of a data network |
| Birgit Baum-Waidner, Christopher M Kenyon, Michael P Waidner no. 7,412,724, 2011. |
| Reducing access to sensitive information |
| Jan Camenisch, Birgit Pfitzmann, Matthias Schunter, Michael Waidner no. 7,941,859, 2011. |
| Method and System for Policy Driven Data Distribution |
| Ivan Milman, Charles Wolfson, Matthias Schunter, Heather M Hinton, Michael P Waidner no. 12/648,876, 2011. |
| Efficient browser-based identity management providing personal control and anonymity |
| Birgit Pfitzmann, Michael Waidner no. 7,992,195, 2011. |
| Einfluss der Häufigkeit und Verteilung von Minutien auf die Qualität von Algorithmen zur Erkennung von Fingerabdrücken |
| Sarah Ahmed 2011. |
| Secure Logging of Data Transferred from Optical Disc Media |
| Björn Pantel 2011. |
| A Survey of Security Mechanisms to Verify the Integrity and Authenticity of Multimedia-based Data |
| Gamze Canova 2011. |
| Entwicklung eines Container-Verfahrens für digitale Bildwasserzeichen |
| Jonathan Römer 2011. |
2009 |
| Learning To Recognize Missing E-mail Attachments |
| Marco Ghiglieri, Johannes Fürnkranz no. TUD-KE-2009-05, Mai 2009. http://www.ke.informatik.tu-darmstadt.de/publications/reports/tud-ke-2009-05.pdf. |
| Software protection using an installation product having an entitlement file |
| Timothy Hahn, Bernard Palmer, Michael Waidner, James Whitmore no. 12/393,242, 2009. |
| Software Protection Using an Installaton Product Having an Entitlement File |
| Timothy Hahn, Michael Waidner, Jim Whitmore no. 12/393,242, 2009. |
| End-of-Session Authentication |
| Michael Waidner no. 12/545,136, 2009. |
2008 |
| Method and Device for Verifying the Security of a Computing Platform |
| Matthias Schunter, Jonathan Poritz, Michael Waidner, Els Van Herreweghen no. 7,770,000, 2008. |
| Method and system for processing of documents with electronic signatures |
| Michael Waidner no. WO/2002/055,976, 2008. |
2007 |
| Simplified Privacy Controls for Aggregated Services -- Suspend and Resume of Personal Data |
| Matthias Schunter, Michael Waidner In: 2007 Workshop on Privacy Enhancing Technologies (PET 2007), 2007. |
| Preface |
| Michael Backes, David A. Basin, Michael Waidner In: Journal of Computer Security, vol. 15, no. 6, p. 561, 2007. |
| The Reactive Simulatability (RSIM) Framework for Asynchronous Systems |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: Information and Computation, vol. 205, no. 12, p. 1685--1720, 2007. |
2006 |
| Method for creating and verifying a privacy policy from a process model, and corresponding computing device and computer program element |
| Michael Backes, Guenter Karjoth, Birgit M Pitzmann, Matthias Schunter, Michael P Waidner no. 1,675,047, 2006. |
| Method and System for Memory Protection and Security Using Credentials |
| Michael Backes, Shmuel Ben-Yehuda, Jan Camenisch, Ton Engbersen, Zorik Machulsky, Julian Satran, Leah Shalev, Ilan Shimony, T. B. Smith III, Michael Waidner no. 20120159610, 2006. |
| Using a Privacy Agreement Framework to Improve Handling of Personally Identifiable Information |
| Steven Adler, Nigel Brown, Art Gilbert, Charles Palmer, Michael Schnyder, Michael Waidner no. 7,603,317, 2006. |
| Cryptographically Sound Theorem Proving |
| Christoph Sprenger, Michael Backes, David Basin, Birgit Pfitzmann, Michael Waidner In: IEEE Computer Security Foundations Workshop (CSFW), IEEE Computer Society Press, 2006. |
| Reactively Simulatable Certified Mail |
| Birgit Pfitzmann, Matthias Schunter, Michael Waidner 2006. |
| Service-oriented Assurance -- Comprehensive Security by Explicit Assurances |
| Günter Karjoth, Birgit Pfitzmann, Matthias Schunter, Michael Waidner In: First Workshop on Quality of Protection 2005 (QoP 2005); Advances in Information Security, p. 13--24, Springer-Verlag, Berlin, 2006. |
| Verifiable Agreement: Limits of Non-Repudiation in Mobile Peer-to-Peer Ad Hoc Networks |
| Zinaida Benenson, Felix C. Freiling, Birgit Pfitzmann, Christian Rohner, Michael Waidner In: ESAS'06 European Workshop on Security and Privacy in Ad hoc and Sensor Networks (held in conjunction with ESORICS 2006), 2006. |
| Non-determinism in multi-party computation |
| Michael Backes, Birgit Pfitzmann, Michael Waidner 2006. |
| Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: ESORICS '06 (European Symposium on Research in Computer Security), Springer-Verlag, Berlin, 2006. |
| Formal Methods and Cryptography |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: FM 2006: Formal Methods, Springer-Verlag, Berlin, 2006. |
| Soundness limits of Dolev-Yao models |
| Michael Backes, Birgit Pfitzmann, Michael Waidner 2006. |
| Method, system and computer program product for privacy-protecting integrity attestation of computing platform |
| Endre-felix Bangerter, Jan Camenisch, Matthias Schunter, Michael Waidner no. 1,617,587, 2006. |
2005 |
| Creating a Privacy Policy From a Process Model and Verifying the Compliance |
| Michael Backes, Guenter Karioth, Birgit Pfitzmann, Matthias Schunter, Michael Waidner no. 11/317,396, 2005. |
| Service-oriented Assurance -- Comprehensive Security by Explicit Assurances |
| Günter Karjoth, Birgit Pfitzmann, Matthias Schunter, Michael Waidner 2005. |
| Trusted Virtual Domains: Secure Foundations for Business and IT Services |
| Anthony Bussani, John Linwood Griffin, Bernhard Jansen, Klaus Julisch, Guenter Karjoth, Hiroshi Maruyama, Megumi Nakamura, Ronald Perez, Matthias Schunter, Axel Tanner, Leendert Van Doorn, Els A. Van Herreweghen, Michael Waidner, Sachiko Yosh 2005. |
| On the Cryptographic (Un-)Soundness of Dolev-Yao Style Hash Functions |
| Michael Backes, Birgit Pfitzmann, Michael Waidner 2005. |
| Justifying a Dolev-Yao Model under Active Attacks |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: Special Issue of International School of Foundations of Security Analysis and Design (FOSAD), Springer-Verlag, Berlin, 2005. |
| Symmetric Authentication Within a Simulatable Cryptographic Library |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: International Journal of Information Security (IJIS), Springer-Verlag, vol. 4, no. 3, p. 135--154, 2005. |
| Reactively Secure Signature Schemes |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: International Journal of Information Security (IJIS), vol. 4, no. 4, p. 242--252, 2005. |
| Proceedings of the 2005 IEEE Symposium on Security and Privacy |
| Vern Paxson, M. Waidner (eds.) IEEE, 2005. |
| Privacy-protecting Integrity Attestation of a Computing Platform |
| Endre Bangerter, Matthias Schunter, Michael Waidner, Jan Camenisch no. 11/178,722, 2005. |
| Digital Rights Management |
| Birgit Pfitzmann, Michael Waidner no. WO/2005/076,104, 2005. |
2004 |
| Low-Level Ideal Signatures and General Integrity Idealization |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: 7th Information Security Conference (ISC), 2004. |
| A General Composition Theorem for Secure Reactive Systems |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: Theory of Cryptography Conference (TCC), p. 336--354, Springer-Verlag, Berlin, 2004. |
| Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004 |
| Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner In: FMSE, ACM, 2004. |
| Formal Methods in Security Engineering (FMSE 2004, Washington, DC) |
| Michael Backes, David Basin, M. Waidner (eds.) Association for Computing Machinery (ACM), 2004. |
| Polynomial Liveness |
| Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner In: Journal of Computer Security (JCS), vol. 12, no. 3-4, p. 589--617, 2004. |
| Privacy-enhancing identity management |
| Marit Hansen, Peter Berlich, Jan Camenisch, Sebastian Clauß, Andreas Pfitzmann, Michael Waidner In: Information Security Technical Report, Elsevier, vol. 9, no. 1, p. 35--44, 2004. |
| Privacy-enabled Management of Customer Data |
| Günter Karjoth, Matthias Schunter, Michael Waidner In: Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, vol. 27, no. 1, p. 3--9, 2004. |
| Ist Anonymität praktisch realisierbar? |
| Günter Karjoth, Michael Waidner In: digma Zeitschrift für Datenrecht und Informationssicherheit, vol. 4, no. 1, p. 18--21, 2004. |
| Proceedings of the 2004 IEEE Symposium on Security and Privacy |
| David Wagner, M. Waidner (eds.) IEEE, 2004. |
| Preface |
| Michael Waidner In: Int. J. Inf. Sec., vol. 3, no. 1, p. 1, 2004. |
| Implementation and Use of a PII Data Access Control Facility Emlploying Personally Identifying Information Labels and Purpose Serving Function Sets |
| Linda Betz, John Dayka, Walter Farrell, Richard Guski, Günter Karjoth, Mark Nelson, Birgit Pfitzmann, Matthias Schunter, Michael Waidner no. 7,617,393, 2004. |
| Minimizing information gathered by access decision engines in access control systems |
| Jan Camenisch, Michael Waidner no. 10/874,431, 2004. |
| Data Processing System |
| Morton Swimmer, Michael Waidner, Andreas Wespi no. 2004/0236747 A1, 2004. |
2003 |
| Translating EPAL to P3P -- How to Keep Enterprise Privacy Promises in Sync With the Actual Practices (Position Papers) |
| Matthias Schunter, Els Van Herreweghen, Michael Waidner 2003. |
| Federated Identity-Management Protocols -- Where User Authentication Protocols May Go |
| Birgit Pfitzmann, Michael Waidner In: International Workshop on Security Protocols, 2003. |
| Amending P3P for Clearer Privacy Promises |
| Günter Karjoth, Matthias Schunter, Els Van Herreweghen, Michael Waidner In: TrustBus -- International Workshop on Trust and Privacy in Digital Business (in conjunction with the 14th International Conference on Database and Expert Systems Applications (DEXA'03)), 2003. |
| A Universally Composable Cryptographic Library |
| Michael Backes, Birgit Pfitzmann, Michael Waidner 2003. |
| A Universally Composable Cryptographic Library with Nested Operations |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: 10th ACM Conference on Computer and Communications Security, 2003. |
| Reactively Secure Signature Schemes |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: 6th Information Security Conference (ISC), p. 84--95, Springer-Verlag, Berlin, 2003. |
| Symmetric Authentication Within a Simulatable Cryptographic Library |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: ESORICS 2003, Springer-Verlag, Berlin, 2003. |
| Security in Business Process Engineering |
| Michael Backes, Birgit Pfitzmann, Michael Waidner In: Conference on Business Process Management (BPM 2003), p. 168--183, Springer-Verlag, Berlin, 2003. |
| Formal Methods in Security Engineering (FMSE 2003, Washington, DC) |
| Michael Backes, David Basin, M. Waidner (eds.) Association for Computing Machinery (ACM), 2003. |
| Analysis of Liberty Single-Sign-on with Enabled Clients |
| Birgit Pfitzmann, Michael Waidner In: IEEE Internet Computing, vol. 7, no. 6, p. 38--44, 2003. |
| Anonymous Access to a Service |
| Jan Camenisch, Els van Herreweghen, Michael Waidner no. 10/432,266, 2003. |
| Providing Identity-related Information and Preventing Man-in-the-middle Attacks |
| Birgit Pfitzmann, Michael Waidner no. 7,240,362, 2003. |
| Identity Management System Using Single Sign-on |
| Birgit Pfitzmann, Michael Waidner no. WO/2003/091861, 2003. |
| Efficient Browser-based Identity Management Providing Personal Control and Anonymity |
| Birgit Pfitzmann, Michael Waidner no. 7,992,195, 2003. |
2002 |
| Token-based Web Single Signon with Enabled Clients |
| Birgit Pfitzmann, Michael Waidner 2002. |
| BBAE -- A General Protocol for Browser-based Attribute Exchange |
| Birgit Pfitzmann, Michael Waidner 2002. |
| Privacy in Browser-Based Attribute Exchange |
| Birgit Pfitzmann, Michael Waidner In: ACM Workshop on Privacy in the Electronic Society, ACM, 2002. |
| A Formal Model for Multiparty Group Key Agreement |
| Birgit Pfitzmann, Michael Steiner, Michael Waidner 2002. |
| Privacy-enabled Services for Enterprises |
| Günter Karjoth, Matthias Schunter, Michael Waidner In: TrustBus -- International Workshop on Trust and Privacy in Digital Business (in conjunction with the 13th International Conference on Database and Expert Systems Applications (DEXA'02)), p. 2--6, Aix-en-Provence, 2002. |
| The Platform for Enterprise Privacy Practices -- Privacy-enabled Management of Customer Data |
| Günter Karjoth, Matthias Schunter, Michael Waidner In: Workshop on Privacy Enhancing Technologies, p. 14--15, 2002. |
| Privacy-enabled Services for Enterprises |
| Günter Karjoth, Matthias Schunter, Michael Waidner 2002. |
| Polynomial Fairness and Liveness |
| Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner In: IEEE Computer Security Foundations Workshop (CSFW), p. 160--174, IEEE Computer Society Press, 2002. |
| Computer Security --- ESORICS 2002: 7th European Symposium on Research in Computer Security; LNCS 2502 |
| Dieter Gollmann, Günter Karjoth, M. Waidner (eds.) Springer-Verlag, Berlin, 2002. |
2001 |
| Using a Rules Model to Improve Handling of Personally Identifiable Information |
| Steven Adler, Endre Bangerter, Nigel Brown, Jan Camenisch, Art Gilbert, Günter Karjoth, Dogan Kesdogan, Michael McCullough, Adam Nelson, Charles Palmer, Martin Presler-Marshall, Michael Schnyder, Els Van Herreweghen, Michael Waidner no. 2003/0014654 A1, 2001. |
| Using an Object Model to Improve Handling of Personally Identifiable Information |
| Steven Adler, Endre Bangerter, Kathy Bohrer, Nigel Brown, Jan Camenisch, Art Gilbert, Dogan Kesdogan, Matt Leonard, Xuan Liu, Michael McCullough, Adam Nelson, Charles Palmer, Calvin Powers, Michael Schnyder, Edith Schonberg, Matthias Schunt no. 2003/0004734 A1, 2001. |
| MAFTIA---Malicious- and Accidental-Fault Tolerance for Internet Applications |
| D. Powell, A. Adelsbach, C. Cachin, S. Creese, M. Dacier, Y. Deswarte, T. McCutcheon, N. Neves, B. Pfitzmann, B. Randell, R. Stroud, P. Verissimo, M. Waidner In: Supplement of the 2001 Int. Conf. on Dependable Systems and Networks, p. D32--D35, 2001. |
| A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission |
| Birgit Pfitzmann, Michael Waidner In: IEEE Symposium on Security and Privacy, 2001. |
| The PERSEUS System Architecture |
| Birgit Pfitzmann, James Riordana, Christian Stüble, Michael Waidner, Arnd Weber 2001. |
| Die PERSEUS Systemarchitektur |
| Birgit Pfitzmann, James Riordan, Christian Stüble, Michael Waidner, Arnd Weber In: Verlässliche IT-Systeme, GI-Fachtagung VIS '01, 2001. |
| Unternehmensweites Datenschutzmanagement |
| Günter Karjoth, Matthias Schunter, Michael Waidner In: Datenschutz Sommerakademie 2001, Datenschuts als Wettbewerbsvorteil, Vieweg Verlag, 2001. |
| Service and Protocol Architecture for the Maftia Middleware |
| Christian Cachin, Miguel Correia, Tom McCutcheon, N. F. Neves (eds.), Birgit Pfitzmann, Brian Randell, Matthias Schunter, William Simmonds, Robert Stroud, P. Verissimo (eds.), Michael Waidner, Ian Welch 2001. |
| Zurückhaltung bei der Preisgabe von Daten Pseudonyme für den elektronischen Geschäftsverkehr |
| Jan Camenisch, Michael Waidner In: Neue Zürcher Zeitung (NZZ), vol. 9, 2001. |
| Relating Cryptography and Cryptographic Protocols |
| Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner In: CSFW, p. 111--114, 2001. |
| Secure Password-based Cipher Suite for TLS |
| Michael Steiner, Peter Buhler, Thomas Eiricha, Michael Waidner In: ACM Transactions on Information and System Security, vol. 4, no. 2, p. 134--157, 2001. |
| Specification of Dependable Trusted Third Parties |
| Joy Boy Joy Eu 2001. |
2000 |
| Composition and Integrity Preservation of Secure Reactive Systems |
| Birgit Pfitzmann, Michael Waidner In: 7th ACM Conference on Computer and Communications Security, p. 245--254, 2000. |
| Secure Reactive Systems |
| Birgit Pfitzmann, Matthias Schunter, Michael Waidner 2000. |
| Secure and Anonymous Electronic Commerce --- Providing Legal Certainty in Open Digital Systems Without Compromising Anonymity |
| Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner 2000. |
| Secure Password-based Cipher Suite for TLS |
| Peter Buhler, Thomas Eirich, Michael Steiner, Michael Waidner In: Symposium on Network and Distributed Systems Security (NDSS '00), CA, Internet Society, 2000. |
| Round-optimal and Abuse-free Optimistic Multi-Party Contract Signing |
| Birgit Baum-Waidner, Michael Waidner In: 27th International Colloquium on Automata, Languages and Programming (ICALP' 2000), p. 524--535, Springer-Verlag, Berlin, 2000. |
| State of the Art in Electronic Payment Systems |
| N. Asokan, Phil Janson, Michael Steiner, Michael Waidner In: Advances in Computers, vol. 53, p. 425--449, 2000. |
| Optimistic Fair Exchange of Digital Signatures |
| N. Asokan, Victor Shoup, Michael Waidner In: IEEE Journal on Selected Areas in Communications, vol. 18, no. 4, p. 593--610, 2000. |
| Design, Implementation and Deployment of the iKP Secure Electronic Payment System |
| Mihir Bellare, Juan Garay, Ralf Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, Els Van Herreweghen, Michael Waidner In: IEEE Journal on Selected Areas in Communications, vol. 18, no. 4, p. 611--627, 2000. |
| Computer Security --- ESORICS 2000: 6th European Symposium on Research in Computer Security; LNCS 1895 |
| Frederic Cuppens, Dieter Gollmann, M. Waidner (eds.) Springer-Verlag, Berlin, 2000. |
| Electronic Commerce |
| Simon Field, Michael Waidner In: Computer Networks, vol. 32, no. 6, p. 667--668, 2000. |
| Secure Electronic Marketplace for Europe --- Final Report of Project SEMPER; LNCS 1854 |
| Gérard Lacoste, Birgit Pfitzmann, Michael Steiner, M. Waidner (eds.) Springer-Verlag, Berlin, 2000. |
| SEMPER - Secure Electronic Marketplace for Europe |
| Gérard Lacoste, Birgit Pfitzmann, Michael Steiner, Michael Waidner Springer-Verlag, 2000. |
| SEMPER---Security Framework for Electronic Commerce |
| Gérard Lacoste, Michael Waidner In: IOS Press, p. 147--157, 2000. |
| Cryptographic Security of Reactive Systems |
| Birgit Pfitzmann, Matthias Schunter, Michael Waidner In: DERA/RHUL Workshop on Secure Architectures and Information Flow, Electronic Notes in Theoretical Computer Science (ENTCS), 2000. |
| Key Agreement in Dynamic Peer Groups |
| Michael Steiner, Gene Tsudik, Michael Waidner In: IEEE Transactions on Parallel and Distributed Systems, vol. 11, no. 8, p. 769--780, 2000. |
1999 |
| Personal Device, Terminal, Server and Methods for Establishing a Trustworthy Connection Between a User and a Terminal |
| N. Asokan, Herve Debar, Michael Steiner, Michael Waidner no. 7,149,895, 1999. |
| Cybercrime |
| Michael Waidner In: IST 99, Workshop ``Towards a Safer Information Society by Combating Cybercrime'', European Commission, 1999. |
| The SEMPER Framework for Secure Electronic Commerce |
| Matthias Schunter, Michael Waidner, Dale Whinnett In: Wirtschaftsinformatik 1999, 1999. |
| Trustworthy User Devices |
| Andreas Pfitzmann, Birgit Pfitzmann, Matthias Schunter, Michael Waidner, Günter Müller, K. Rannenberg (eds.) In: Multilateral Security in Communications, Vol. 3: Technology, Infrastructure, Economy, 1999. |
| Optimistische Mehrparteien-Vertragsunterzeichnung |
| Joy Algesheimer, C. Cachin (eds.), Klause Kursawe, Frank Petzold, Jonathan Poritz, Victor Shoup, Michael Waidner In: Verlässliche IT-Systeme, GI-Fachtagung VIS '99, p. 49--66, DuD--Fachbeiträge, 1999. |
| Authenticating Public Terminals |
| N. Asokan, Hervé Debar, Michael Steiner, Michael Waidner In: Computer Networks, vol. 31, no. 8, p. 861--870, 1999. |
1998 |
| Open Issues in Secure Electronic Commerce |
| Michael Waidner 1998. |
| A protocol suite for key agreement in dynamic groups |
| Michael Steiner, Gene Tsudik, Michael Waidner In: The 18th International Conference on Distributed Computing Systems, IEEE Computer Society, 1998. |
| Optimal Efficiency of Optimistic Contract Signing |
| Birgit Pfitzmann, Matthias Schunter, Michael Waidner In: ACM Principles of Distributed Computing (PODC), p. 113--122, 1998. |
| Optimistic Asynchronous Multi-Party Contract Signing |
| Birgit Baum-Waidner, Michael Waidner 1998. |
| Optimistic Fair Exchange of Digitial Signatures |
| N. Asokan, Victor Shoup, Michael Waidner In: Eurocrypt 1998, LNCS 1403, p. 591--606, Springer-Verlag, Berlin, 1998. |
| Asynchronous Protocols for Optimistic Fair Exchange |
| N. Asokan, Victor Shoup, Michael Waidner In: 1998 IEEE Symposium on Research in Security and Privacy, p. 86--99, IEEE Computer Society Press, 1998. |
| Optimistic Synchronous Multi-Party Contract Signing |
| N. Asokan, Birgit Baum-Waidner, Matthias Schunter, Michael Waidner 1998. |
| Designing a generic payment service |
| Jose L. Abad-Peiro, N. Asokan, Michael Steiner, Michael Waidner In: IBM Systems Journal, vol. 37, no. 1, p. 72--88, 1998. |
| Real-Time Mixes: A Bandwidth-Efficient Anonymity Protocol |
| Anja Jerichow, Jan Müller, Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner In: IEEE Journal on Selected Areas in Communications, vol. April, Special Issue "Copyright and privacy protection, p. 495--509, 1998. |
| Digital Signatures |
| Birgit Pfitzmann, Michael Waidner In: Accepted for Encyclopedia of Distributed Computing, edited by Joseph Urban and Partha Dasgupta, Kluwer Academic Publishers, 1998. |
| Kopierschutz durch asymmetrisches Fingerprinting (Copy protection by asymmetric fingerprinting) |
| Birgit Pfitzmann, Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 22, no. 5, p. 258--264, 1998. |
| How to Break Fraud-Detectable Key Recovery |
| Birgit Pfitzmann, Michael Waidner In: ACM Operating Systems Review, vol. 32, no. 1, p. 23--28, 1998. |
| A Status Report on the SEMPER Framework for Secure Electronic Commerce |
| Matthias Schunter, Michael Waidner, Dale Whinnett In: Computer Networks & ISDN Systems, vol. 30, p. 1501--1510, 1998. |
| Optimistic Fair Exchange Protocols |
| N. Asokan, Victor Shoup, Michael Waidner no. 09/181,442, 1998. |
1997 |
| Kopierschutz durch asymmetrische Schlüsselkennzeichnung mit Signeten |
| Birgit Pfitzmann, Michael Waidner In: Verlässliche IT-Systeme, GI-Fachtagung VIS '97, DuD Fachbeiträge, 1997. |
| Anonymous Fingerprinting |
| Birgit Pfitzmann, Michael Waidner In: Eurocrypt '97, LNCS 1233, p. 88--102, Springer-Verlag, Berlin, 1997. |
| Architecture and Design of a Secure Electronic Marketplace |
| Michael Waidner Matthias Schunter In: Joint European Networking Conference (JENC8), p. 712.1--712.5, 1997. |
| Optimistic Protocols for Fair Exchange |
| N. Asokan, Matthias Schunter, Michael Waidner In: 4th ACM Conference on Computer and Communications Security, p. 7--17, 1997. |
| Trusting mobile user devices and security modules |
| Andreas Pfitzmann, Birgit Pfitzmann, Matthias Schunter, Michael Waidner In: IEEE Computer, vol. 30, no. 2, p. 61--68, 1997. |
| Strong Loss Tolerance of Electronic Coin Systems |
| Birgit Pfitzmann, Michael Waidner In: ACM Transactions on Computer Systems, vol. 15, no. 2, p. 194--213, 1997. |
| Server-supported Signatures |
| Gene Tsudik, N. Asokan, Michael Waidner In: Journal of Computer Security, vol. 5, no. 1, p. 91--108, 1997. |
| Asymmetric Fingerprinting for Larger Collusions |
| Birgit Pfitzmann, Michael Waidner In: 4th ACM Conference on Computer and Communications Security, p. 151--160, 1997. |
1996 |
| Electronic Payment Systems |
| Michael Waidner In: Public Key Solutions, 1996. |
| SEMPER and Applications for Electronic Commerce |
| Maria Tsakali, Michael Waidner In: SmartCard 96, p. 13--15, 1996. |
| Diffie-Hellman Key Distribution Extended to Groups |
| Michael Steiner, Gene Tsudik, Michael Waidner In: 3rd ACM Conference on Computer and Communications Security, p. 31--37, ACM Press, 1996. |
| Information-Theoretic Pseudosignatures and Byzantine Agreement for t >= n/3 |
| Birgit Pfitzmann, Michael Waidner 1996. |
| Properties of Payment Systems - General Definition Sketch and Classification |
| Birgit Pfitzmann, Michael Waidner 1996. |
| Micro-payments based on iKP |
| Ralf Hauser, Michael Steiner, Michael Waidner In: SECURICOM 96, 14th Worldwide Congress on Computer and Communications Security and Protection, p. 67--82, 1996. |
| Optimistic Protocols for Multi-Party Fair Exchange |
| N. Asokan, Matthias Schunter, Michael Waidner 1996. |
| Electronic Payment over Open Networks |
| Phil Janson, Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 20, no. 6, p. 10--15, 1996. |
| Development of a Secure Electronic Marketplace for Europe |
| Michael Waidner In: EDI Forum, vol. 9, no. 2, p. 98--106, 1996. |
| Keine Angst um Ihr Geld! -- Entwicklung des sicheren Zahlungsverkehrs im Internet |
| Michael Waidner In: Neue Zürcher Zeitung (NZZ), vol. 234, p. B51, 1996. |
| Method for Tracing Payment Data in an Anonymous Payment System, as Well as Payment System in Which the Method is Applied |
| Birgit Pfitzmann, Matthias Schunter, Michael Waidner no. 0,836,730, 1996. |
1995 |
| How to Break Another "Provably Secure" Payment System |
| Birgit Pfitzmann, Matthias Schunter, Michael Waidner In: Eurocrypt 95, LNCS 921, p. 121--132, Springer-Verlag, Berlin, 1995. |
| Secure International Payment and Information Transfer - Towards a Multi-Currency Electronic Wallet |
| Bob Carter, Birgit Pfitzmann, Matthias Schunter, Chris Stanford, Michael Waidner, Arnd Weber 1995. |
| iKP -- a family of secure electronic payment protocols |
| Mihir Bellare, Juan Garay, Ralf Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, Michael Waidner In: Proc. First USENIX Workshop on Electronic Commerce, p. 89--106, 1995. |
| Refinement and Extension of Encrypted Key Exchange |
| Michael Steiner, Gene Tsudik, Michael Waidner In: ACM Operating Systems Review, vol. 29, no. 3, p. 22--30, 1995. |
1994 |
| Das ESPRIT-Projekt "Conditional Access for Europe" |
| Michael Waidner In: 4. GMD-SmartCard Workshop, 1994. |
| A General Framework for Formal Notions of "Secure" Systems |
| Birgit Pfitzmann, Michael Waidner 1994. |
| Mechanismen für fehlertolerante, verteilte Anwendungen - Seminar SS 1993 & WS 1993/94 |
| Ludwig Keller, Dietmar Kottmann, Michael Waidner 1994. |
| The ESPRIT Project CAFE - High Security Digital Payment Systems |
| Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjolsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner In: The ESPRIT Project CAFE - High Security Digital Payment Systems; ESORICS '94 (Third European Symposium on Research in Computer Security), Brighton, LNCS 875,, p. 217--230, Springer-Verlag, Berlin, 1994. |
| Europäisches Industrie- und Forschungskonsortium entwickelt neuartiges Zahlungsverfahren |
| Michael Waidner, Arnd Weber In: Datenschutz-Berater, vol. 18, no. 10, p. 4--7, 1994. |
1993 |
| Attacks on Protocols for Server-Aided RSA Computation |
| Birgit Pfitzmann, Michael Waidner In: Eurocrypt '92, LNCS 658, p. 153--162, Springer-Verlag, Berlin, 1993. |
| Datenschutz garantierende offene Kommunikationsnetze; Dokumentation Fachseminar Sicherheit in Netzen |
| Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner In: SYSTEMS 93, München, p. 75--121, 1993. |
1992 |
| Betrugssicherheit durch kryptographische Protokolle beim Wertetransfer über Kommunikationsnetze |
| Michael Waidner 1992. |
| Unconditionally Untraceable and Fault-tolerant Broadcast and Secret Ballot Election |
| Birgit Pfitzmann, Michael Waidner 1992. |
| Unconditional Byzantine Agreement for any Number of Faulty Processors |
| Birgit Pfitzmann, Michael Waidner In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, LNCS 577, p. 339--350, Springer-Verlag, Heidelberg, 1992. |
| How to Break and Repair a "Provably Secure" Untraceable Payment System |
| Birgit Pfitzmann, Michael Waidner In: Crypto '91, LNCS 576, p. 338--350, Springer-Verlag, Berlin, 1992. |
| Schutz in verteilten Systemen durch Kryptologie - Ein Praktikum im Informatik-Hauptstudium |
| Andreas Ort, Ralf Assmann, Gerrit Bleumer, Manfred Böttger, Dirk Fox, Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 16, no. 11, p. 571--579, 1992. |
1991 |
| Loss-tolerant electronic wallet |
| Michael Waidner, Birgit Pfitzmann In: D. Chaum (eds.): Smart Card 2000, Selected Papers from the Second International Smart Card 2000 Conference, p. 127--150, 1991. |
| Byzantinische Verteilung ohne kryptographische Annahmen trotz beliebig vieler Fehler |
| Michael Waidner 1991. |
| Unbedingte Unbeobachtbarkeit mit kryptographischer Robustheit |
| Birgit Pfitzmann, Michael Waidner In: Verlässliche Informationssysteme (VIS'91), p. 302--320, Springer-Verlag, Heidelberg, 1991. |
| Fail-stop-Signaturen und ihre Anwendung |
| Birgit Pfitzmann, Michael Waidner In: Verlässliche Informationssysteme (VIS'91), p. 289--301, Springer-Verlag, Heidelberg, 1991. |
| Fail-stop Signatures and their Application |
| Birgit Pfitzmann, Michael Waidner In: SECURICOM 91, p. 145--160, 1991. |
| ISDN-MIXes - Untraceable Communication with Very Small Bandwidth Overhead |
| Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner In: Information Security, IFIP/Sec'91, p. 245--258, 1991. |
| Netze mit unbeobachtbarer Kommunikation |
| Andreas Pfitzmann, Michael Waidner In: Symposium ``Datenschutz: Komfort und Freiheit des Kunden in der Telekommunikation'', p. 209--235, Berliner Datenschutzbeauftragter, Hildegardstr. 28/29, 1000 Berlin 31, Mai 1992, 1991. |
| A remark on a signature scheme where forgery can be proved |
| Gerrit Bleumer, Birgit Pfitzmann, Michael Waidner In: Eurocrypt '90, LNCS 473, p. 441--445, Springer-Verlag, Berlin, 1991. |
| Unconditional Byzantine Agreement with Good Majority |
| Birgit Baum-Waidner, Birgit Pfitzmann, Michael Waidner In: STACS '91, LNCS 480, p. 285--295, Springer-Verlag, Heidelberg, 1991. |
| Effizientere fail-stop Schlüsselerzeugung für das DC-Netz |
| Jörg Lukat, Andreas Pfitzmann, Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 15, no. 2, p. 71--75, 1991. |
1990 |
| Unconditional Sender and Recipient Untraceability in spite of Active Attacks - Some Remarks |
| Michael Waidner, Birgit Pfitzmann 1990. |
| Unconditional Sender and Recipient Untraceability in spite of Active Attacks |
| Michael Waidner In: Eurocrypt '89, LNCS 434, p. 302--319, Springer-Verlag, Berlin, 1990. |
| Formal Aspects of Fail-stop Signatures |
| Birgit Pfitzmann, Michael Waidner 1990. |
| Rechtssicherheit trotz Anonymität in offenen digitalen Systemen |
| Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 14, no. 5--6, p. 305--315, 1990. |
1989 |
| The Dining Cryptographers in the Disco: Unconditional Sender and Recipient Untraceability with Computationally Secure Serviceability |
| Michael Waidner, Birgit Pfitzmann In: Eurocrypt '89, LNCS 434, p. 690, Springer-Verlag, Berlin 1990, 1989. |
| Telefon-MIXe: Schutz der Vermittlungsdaten für zwei 64-kbit/s-Duplexkanäle über den (2•64 + 16)-kbit/s-Teilnehmeranschluss |
| Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 13, no. 12, p. 605--622, 1989. |
1988 |
| Weitere Aspekte fernmeldetechnischer Alternativen zum ISDN |
| Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner In: PIK, Praxis d. Informationsverarbeitung u. Kommunikation, vol. 11, no. 1, p. 5--7, 1988. |
| Betrugssicherheit durch kryptographische Protokolle beim Wertetransfer über Kommunikationsnetze |
| Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 12, no. 9, p. 448--459, 1988. |
1987 |
| Anonyme und verlusttolerante elektronische Brieftaschen |
| Michael Waidner, Birgit Pfitzmann 1987. |
| "Uber die Notwendigkeit genormter kryptographischer Verfahren |
| Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 11, no. 6, p. 293--299, 1987. |
| Verlusttolerante elektronische Brieftaschen |
| Michael Waidner, Birgit Pfitzmann In: Datenschutz und Datensicherung DuD, vol. 11, no. 10, p. 487--497, 1987. |
1986 |
| Networks without user observability---design options |
| Andreas Pfitzmann, Michael Waidner In: Computer & Security, vol. 6, no. 2, p. 158--166, 1986. |
| Betrugssicherheit trotz Anonymität: Abrechnung und Geldtransfer in Netzen |
| Andreas Pfitzmann, Michael Waidner In: Datenschutz und Datensicherung DuD, vol. 10, no. 1, p. 16--22, 1986. |
1985 |
| Datenschutz und Betrugssicherheit garantierende Kommunikationsnetze - Systematisierung der Datenschutzmassnahmen und Ansätze zur Verifikation der Betrugssicherheit |
| Michael Waidner 1985. |
Drucken
Impressum
Sitemap
Suche
Kontakt
