| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Michael Waidner Vijayalakshmi Atluri , Michael Backes , David A. Basin , Michael Waidner: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004 ACM 2004 Michael Backes , Birgit Pfitzmann , Michael Waidner: Low-Level Ideal Signatures and General Integrity Idealization. ISC 2004 : 39-51 Michael Backes , Birgit Pfitzmann , Michael Waidner: A General Composition Theorem for Secure Reactive Systems. TCC 2004 : 336-354 Michael Waidner: Preface. Int. J. Inf. Sec. 3 (1): 1 (2004) Michael Backes , Birgit Pfitzmann , Michael Waidner: Polynomial liveness. Journal of Computer Security 12 (3-4): 589-617 (2004) Michael Backes , Birgit Pfitzmann , Michael Waidner: A composable cryptographic library with nested operations. ACM Conference on Computer and Communications Security 2003 : 220-230 Michael Backes , Birgit Pfitzmann , Michael Waidner: Security in Business Process Engineering. Business Process Management 2003 : 168-183 Günter Karjoth , Matthias Schunter , Els Van Herreweghen , Michael Waidner: Amending P3P for Clearer Privacy Promises. DEXA Workshops 2003 : 445-449 Michael Backes , Birgit Pfitzmann , Michael Waidner: Symmetric Authentication within a Simulatable Cryptographic Library. ESORICS 2003 : 271-290 Michael Backes , Birgit Pfitzmann , Michael Waidner: Reactively Secure Signature Schemes. ISC 2003 : 84-95 Birgit Pfitzmann , Michael Waidner: Analysis of Liberty Single-Sign-on with Enabled Clients. IEEE Internet Computing 7 (6): 38-44 (2003) Dieter Gollmann , Günter Karjoth , Michael Waidner: Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings Springer 2002 Michael Backes , Birgit Pfitzmann , Michael Steiner , Michael Waidner: Polynomial Fairness and Liveness. CSFW 2002 : 160-174 Günter Karjoth , Matthias Schunter , Michael Waidner: Privacy-Enabled Services for Enterprises. DEXA Workshops 2002 : 483-487 Günter Karjoth , Matthias Schunter , Michael Waidner: Platform for Enterprise Privacy Practices: Privacy-Enabled Management of Customer Data. Privacy Enhancing Technologies 2002 : 69-84 Birgit Pfitzmann , Michael Waidner: Privacy in browser-based attribute exchange. WPES 2002 : 52-62 Andre Scedrov , Ran Canetti , Joshua D. Guttman , David Wagner , Michael Waidner: Relating Cryptography and Cryptographic Protocols. CSFW 2001 : 111-114 Birgit Pfitzmann , Michael Waidner: A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. IEEE Symposium on Security and Privacy 2001 : 184- Michael Steiner , Peter Buhler , Thomas Eirich , Michael Waidner: Secure password-based cipher suite for TLS. ACM Trans. Inf. Syst. Secur. 4 (2): 134-157 (2001) Gérard Lacoste , Birgit Pfitzmann , Michael Steiner , Michael Waidner: SEMPER - Secure Electronic Marketplace for Europe Springer 2000 Frédéric Cuppens , Yves Deswarte , Dieter Gollmann , Michael Waidner: Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings Springer 2000 Birgit Pfitzmann , Michael Waidner: Composition and integrity preservation of secure reactive systems. ACM Conference on Computer and Communications Security 2000 : 245-254 Birgit Baum-Waidner , Michael Waidner: Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing. ICALP 2000 : 524-535 Peter Buhler , Thomas Eirich , Michael Waidner, Michael Steiner : Secure Password-Based Cipher Suite for TLS. NDSS 2000 Simon Field , Michael Waidner: Electronic Commerce. Computer Networks 32 (6): 667-668 (2000) Birgit Pfitzmann , Matthias Schunter , Michael Waidner: Cryptographic Security of Reactive Systems. Electr. Notes Theor. Comput. Sci. 32 : (2000) Michael Steiner , Gene Tsudik , Michael Waidner: Key Agreement in Dynamic Peer Groups. IEEE Trans. Parallel Distrib. Syst. 11 (8): 769-780 (2000) N. Asokan , Hervé Debar , Michael Steiner , Michael Waidner: Authenticating public terminals. Computer Networks 31 (8): 861-870 (1999) Matthias Schunter , Michael Waidner, Dale Whinnett : The SEMPER Framework for Secure Electronic Commerce. Wirtschaftsinformatik 41 (3): 238-247 (1999) N. Asokan , Victor Shoup , Michael Waidner: Optimistic Fair Exchange of Digital Signatures (Extended Abstract). EUROCRYPT 1998 : 591-606 Michael Steiner , Gene Tsudik , Michael Waidner: CLIQUES: A New Approach to Group Key Agreement. ICDCS 1998 : 380-387 Birgit Pfitzmann , Matthias Schunter , Michael Waidner: Optimal Efficiency of Optimistic Contract Signing. PODC 1998 : 113-122 Matthias Schunter , Michael Waidner, Dale Whinnett : A Status Report on the SEMPER Framework for Secure Electronic Commerce. Computer Networks 30 (16-18): 1501-1510 (1998) José L. Abad Peiro , N. Asokan , Michael Steiner , Michael Waidner: Designing a Generic Payment Service. IBM Systems Journal 37 (1): 72-88 (1998) Birgit Pfitzmann , Michael Waidner: How to Break Fraud-Detectable Key Recovery. Operating Systems Review 32 (1): 23-28 (1998) Birgit Pfitzmann , Michael Waidner: Asymmetric Fingerprinting for Larger Collusions. ACM Conference on Computer and Communications Security 1997 : 151-160 N. Asokan , Matthias Schunter , Michael Waidner: Optimistic Protocols for Fair Exchange. ACM Conference on Computer and Communications Security 1997 : 7-17 Birgit Pfitzmann , Michael Waidner: Anonymous Fingerprinting. EUROCRYPT 1997 : 88-102 Birgit Pfitzmann , Michael Waidner: Strong Loss Tolerance of Electronic Coin Systems. ACM Trans. Comput. Syst. 15 (2): 194-213 (1997) Andreas Pfitzmann , Birgit Pfitzmann , Matthias Schunter , Michael Waidner: Trusting Mobile User Devices and Security Modules. IEEE Computer 30 (2): 61-68 (1997) N. Asokan , Philippe A. Janson , Michael Steiner , Michael Waidner: The State of the Art in Electronic Payment Systems. IEEE Computer 30 (9): 28-35 (1997) N. Asokan , Gene Tsudik , Michael Waidner: Server-Supported Signatures. Journal of Computer Security 5 (1): 91-108 (1997) Michael Steiner , Gene Tsudik , Michael Waidner: Diffie-Hellman Key Distribution Extended to Group Communication. ACM Conference on Computer and Communications Security 1996 : 31-37 Michael Waidner: Development of a Secure Electronic Marketplace for Europe. ESORICS 1996 : 1-14 N. Asokan , Gene Tsudik , Michael Waidner: Server-Supported Signatures. ESORICS 1996 : 131-143 Birgit Pfitzmann , Matthias Schunter , Michael Waidner: How to Break Another Provably Secure Payment System. EUROCRYPT 1995 : 121-132 Andreas Pfitzmann , Birgit Pfitzmann , Matthias Schunter , Michael Waidner: Vertrauenswürdiger Entwurf portabler Benutzerendgeräte und Sicherheitsmodule. VIS 1995 : 329- Michael Steiner , Gene Tsudik , Michael Waidner: Refinement and Extension of Encrypted Key Exchange. Operating Systems Review 29 (3): 22-30 (1995) Jean-Paul Boly , Antoon Bosselaers , Ronald Cramer , Rolf Michelsen , Stig Fr. Mjølsnes , Frank Muller , Torben P. Pedersen , Birgit Pfitzmann , Peter de Rooij , Berry Schoenmakers , Matthias Schunter , Luc Vallée , Michael Waidner: The ESPRIT Project CAFE - High Security Digital Payment Systems. ESORICS 1994 : 217-230 Birgit Pfitzmann , Michael Waidner: Attacks on Protocols for Server-Aided RSA Computation. EUROCRYPT 1992 : 153-162 Birgit Pfitzmann , Michael Waidner: Unconditional Byzantine Agreement for any Number of Faulty Processors. STACS 1992 : 339-350 Birgit Pfitzmann , Michael Waidner: How To Break and Repair A "Provably Secure" Untraceable Payment System. CRYPTO 1991 : 338-350 Andreas Pfitzmann , Birgit Pfitzmann , Michael Waidner: ISDN-MIXes: Untraceable Communication with Small Bandwidth Overhead. Kommunikation in Verteilten Systemen 1991 : 451-463 Birgit Baum-Waidner , Birgit Pfitzmann , Michael Waidner: Unconditional Byzantine Agreement with Good Majority. STACS 1991 : 285-295 Birgit Pfitzmann , Michael Waidner: Fail-stop-Signaturen und ihre Anwendung. VIS 1991 : 289-301 Birgit Pfitzmann , Michael Waidner: Unbedingte Unbeobachtbarkeit mit kryprographischer Robustheit. VIS 1991 : 302-320 Gerrit Bleumer , Birgit Pfitzmann , Michael Waidner: A Remark on a Signature Scheme Where Forgery Can Be Proved. EUROCRYPT 1990 : 441-445 Michael Waidner: Unconditional Sender and Recipient Untraceability in Spite of Active Attacks. EUROCRYPT 1989 : 302-319 Michael Waidner, Birgit Pfitzmann : The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract). EUROCRYPT 1989 : 690 Andreas Pfitzmann , Birgit Pfitzmann , Michael Waidner: Datenschutz garantierende offene Kommunikationsnetze. Informatik Spektrum 11 (3): 118-142 (1988) Michael Waidner, Birgit Pfitzmann : Verlusttolerante elektronische Brieftaschen. Fehlertolerierende Rechensysteme 1987 : 36-50 Michael Waidner, Andreas Pfitzmann : Betrugssicherheit trotz Anonymität, Abrechnung und Geldtransfer in Netzen. Datenschutz und Datensicherung 1985 : 128-141 Andreas Pfitzmann , Michael Waidner: Networks Without User Observability: Design Options. EUROCRYPT 1985 : 245-253 1 [ 19 ] [ 22 ] [ 23 ] [ 27 ] [ 30 ] [ 34 ] [ 36 ] 2 [ 63 ] 3 [ 51 ] [ 54 ] [ 55 ] [ 57 ] [ 58 ] [ 59 ] [ 61 ] [ 62 ] [ 63 ] 4 [ 63 ] 5 [ 10 ] [ 41 ] 6 [ 7 ] 7 [ 15 ] 8 [ 15 ] 9 [ 40 ] [ 45 ] 10 [ 47 ] 11 [ 15 ] 12 [ 43 ] 13 [ 36 ] 14 [ 43 ] 15 [ 40 ] [ 45 ] 16 [ 39 ] 17 [ 43 ] [ 52 ] 18 [ 47 ] 19 [ 56 ] 20 [ 23 ] 21 [ 49 ] [ 50 ] [ 52 ] [ 56 ] 22 [ 44 ] 23 [ 15 ] 24 [ 15 ] 25 [ 15 ] 26 [ 15 ] 27 [ 30 ] 28 [ 1 ] [ 2 ] [ 4 ] [ 11 ] [ 17 ] [ 24 ] 29 [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 17 ] [ 18 ] [ 24 ] [ 25 ] [ 26 ] [ 28 ] [ 29 ] [ 32 ] [ 38 ] [ 42 ] [ 44 ] [ 46 ] [ 48 ] [ 51 ] [ 53 ] [ 54 ] [ 55 ] [ 57 ] [ 58 ] [ 59 ] [ 61 ] [ 62 ] 30 [ 15 ] 31 [ 47 ] 32 [ 15 ] 33 [ 15 ] [ 17 ] [ 18 ] [ 24 ] [ 27 ] [ 31 ] [ 32 ] [ 35 ] [ 38 ] [ 49 ] [ 50 ] [ 56 ] 34 [ 34 ] 35 [ 16 ] [ 21 ] [ 23 ] [ 30 ] [ 33 ] [ 36 ] [ 37 ] [ 40 ] [ 44 ] [ 45 ] [ 51 ] 36 [ 16 ] [ 19 ] [ 21 ] [ 22 ] [ 33 ] [ 37 ] 37 [ 15 ] 38 [ 47 ] 39 [ 31 ] [ 35 ]  ©2005 Association for Computing Machinery |
