Michael Waidner

	2012
94		Neeraj Suri, Michael Waidner: 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 GI 2012
	2011
93		Simone Fischer-Hübner, Chris Jay Hoofnagle, Ioannis Krontiris, Kai Rannenberg, Michael Waidner: Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061). Dagstuhl Manifestos 1(1): 1-20 (2011)
92		Simone Fischer-Hübner, Chris Jay Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris, Michael Marhöfer: Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061). Dagstuhl Reports 1(2): 1-15 (2011)
91		Hannes Federrath, Marit Hansen, Michael Waidner: Andreas Pfitzmann 1958 - 2010. it - Information Technology 53(1): 5-7 (2011)
	2007
90		Matthias Schunter, Michael Waidner: Simplified Privacy Controls for Aggregated Services - Suspend and Resume of Personal Data. Privacy Enhancing Technologies 2007: 218-232
89		Michael Backes, Birgit Pfitzmann, Michael Waidner: The reactive simulatability (RSIM) framework for asynchronous systems. Inf. Comput. 205(12): 1685-1720 (2007)
88		Michael Backes, David A. Basin, Michael Waidner: Preface. Journal of Computer Security 15(6): 561 (2007)
	2006
87		Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner: Cryptographically Sound Theorem Proving. CSFW 2006: 153-166
86		Zinaida Benenson, Felix C. Freiling, Birgit Pfitzmann, Christian Rohner, Michael Waidner: Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks. ESAS 2006: 165-178
85		Michael Backes, Birgit Pfitzmann, Michael Waidner: Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. ESORICS 2006: 404-423
84		Michael Backes, Birgit Pfitzmann, Michael Waidner: Formal Methods and Cryptography. FM 2006: 612-616
83		Günter Karjoth, Birgit Pfitzmann, Matthias Schunter, Michael Waidner: Service-oriented Assurance - Comprehensive Security by Explicit Assurances. Quality of Protection 2006: 13-24
82		Birgit Pfitzmann, Matthias Schunter, Michael Waidner: Reactively Simulatable Certified Mail. IACR Cryptology ePrint Archive 2006: 41 (2006)
81		Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner: Cryptographically Sound Theorem Proving. IACR Cryptology ePrint Archive 2006: 47 (2006)
80		Michael Backes, Birgit Pfitzmann, Michael Waidner: Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes. IACR Cryptology ePrint Archive 2006: 68 (2006)
	2005
79		Vern Paxson, Michael Waidner: Guest Editor's Introduction: 2005 IEEE Symposium on Security and Privacy. IEEE Trans. Dependable Sec. Comput. 2(2): 81 (2005)
78		Michael Backes, Birgit Pfitzmann, Michael Waidner: Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. Int. J. Inf. Sec. 4(3): 135-154 (2005)
77		Michael Backes, Birgit Pfitzmann, Michael Waidner: Reactively secure signature schemes. Int. J. Inf. Sec. 4(4): 242-252 (2005)
	2004
76		Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004 ACM 2004
75		Michael Backes, Birgit Pfitzmann, Michael Waidner: Justifying a Dolev-Yao Model Under Active Attacks. FOSAD 2004: 1-41
74		Michael Backes, Birgit Pfitzmann, Michael Waidner: Low-Level Ideal Signatures and General Integrity Idealization. ISC 2004: 39-51
73		Michael Backes, Birgit Pfitzmann, Michael Waidner: A General Composition Theorem for Secure Reactive Systems. TCC 2004: 336-354
72		Michael Backes, Birgit Pfitzmann, Michael Waidner: The Reactive Simulatability (RSIM) Framework for Asynchronous Systems. IACR Cryptology ePrint Archive 2004: 82 (2004)
71		Günter Karjoth, Matthias Schunter, Michael Waidner: Privacy-enabled Management of Customer Data. IEEE Data Eng. Bull. 27(1): 3-9 (2004)
70		Michael Waidner: Preface. Int. J. Inf. Sec. 3(1): 1 (2004)
69		Michael Backes, Birgit Pfitzmann, Michael Waidner: Polynomial liveness. Journal of Computer Security 12(3-4): 589-617 (2004)
	2003
68		Michael Backes, Birgit Pfitzmann, Michael Waidner: A composable cryptographic library with nested operations. ACM Conference on Computer and Communications Security 2003: 220-230
67		Michael Backes, Birgit Pfitzmann, Michael Waidner: Security in Business Process Engineering. Business Process Management 2003: 168-183
66		Günter Karjoth, Matthias Schunter, Els Van Herreweghen, Michael Waidner: Amending P3P for Clearer Privacy Promises. DEXA Workshops 2003: 445-449
65		Michael Backes, Birgit Pfitzmann, Michael Waidner: Symmetric Authentication within a Simulatable Cryptographic Library. ESORICS 2003: 271-290
64		Michael Backes, Birgit Pfitzmann, Michael Waidner: Reactively Secure Signature Schemes. ISC 2003: 84-95
63		Birgit Pfitzmann, Michael Waidner: Federated Identity-Management Protocols. Security Protocols Workshop 2003: 153-174
62		Michael Backes, Birgit Pfitzmann, Michael Waidner: Symmetric Authentication Within a Simulatable Cryptographic Library. IACR Cryptology ePrint Archive 2003: 145 (2003)
61		Michael Backes, Birgit Pfitzmann, Michael Waidner: A Universally Composable Cryptographic Library. IACR Cryptology ePrint Archive 2003: 15 (2003)
60		Birgit Pfitzmann, Michael Waidner: Analysis of Liberty Single-Sign-on with Enabled Clients. IEEE Internet Computing 7(6): 38-44 (2003)
	2002
59		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
58		Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner: Polynomial Fairness and Liveness. CSFW 2002: 160-174
57		Günter Karjoth, Matthias Schunter, Michael Waidner: Privacy-Enabled Services for Enterprises. DEXA Workshops 2002: 483-487
56		Günter Karjoth, Matthias Schunter, Michael Waidner: Platform for Enterprise Privacy Practices: Privacy-Enabled Management of Customer Data. Privacy Enhancing Technologies 2002: 69-84
55		Birgit Pfitzmann, Michael Waidner: Privacy in browser-based attribute exchange. WPES 2002: 52-62
	2001
54		Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner: Relating Cryptography and Cryptographic Protocols. CSFW 2001: 111-114
53		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-
52		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)
	2000
51		Gérard Lacoste, Birgit Pfitzmann, Michael Steiner, Michael Waidner: SEMPER - Secure Electronic Marketplace for Europe Springer 2000
50		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
49		Birgit Pfitzmann, Michael Waidner: Composition and integrity preservation of secure reactive systems. ACM Conference on Computer and Communications Security 2000: 245-254
48		Birgit Baum-Waidner, Michael Waidner: Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing. ICALP 2000: 524-535
47		Peter Buhler, Thomas Eirich, Michael Waidner, Michael Steiner: Secure Password-Based Cipher Suite for TLS. NDSS 2000
46		N. Asokan, Philippe A. Janson, Michael Steiner, Michael Waidner: State of the art in electronic payment systems. Advances in Computers 53: 425-449 (2000)
45		Simon Field, Michael Waidner: Electronic Commerce. Computer Networks 32(6): 667-668 (2000)
44		Birgit Pfitzmann, Matthias Schunter, Michael Waidner: Cryptographic Security of Reactive Systems. Electr. Notes Theor. Comput. Sci. 32: 59-77 (2000)
43		Birgit Pfitzmann, Michael Waidner: A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. IACR Cryptology ePrint Archive 2000: 66 (2000)
42		N. Asokan, Victor Shoup, Michael Waidner: Optimistic fair exchange of digital signatures. IEEE Journal on Selected Areas in Communications 18(4): 593-610 (2000)
41		Mihir Bellare, Juan A. Garay, Ralf C. Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, Els Van Herreweghen, Michael Waidner: Design, implementation, and deployment of the iKP secure electronic payment system. IEEE Journal on Selected Areas in Communications 18(4): 611-627 (2000)
40		Michael Steiner, Gene Tsudik, Michael Waidner: Key Agreement in Dynamic Peer Groups. IEEE Trans. Parallel Distrib. Syst. 11(8): 769-780 (2000)
	1999
39		Matthias Schunter, Michael Waidner, Dale Whinnett: The SEMPER Framework for Secure Electronic Commerce. Wirtschaftsinformatik 1999: 11
38		N. Asokan, Hervé Debar, Michael Steiner, Michael Waidner: Authenticating public terminals. Computer Networks 31(8): 861-870 (1999)
37		Matthias Schunter, Michael Waidner, Dale Whinnett: The SEMPER Framework for Secure Electronic Commerce. Wirtschaftsinformatik 41(3): 238-247 (1999)
	1998
36		N. Asokan, Victor Shoup, Michael Waidner: Optimistic Fair Exchange of Digital Signatures (Extended Abstract). EUROCRYPT 1998: 591-606
35		Michael Steiner, Gene Tsudik, Michael Waidner: CLIQUES: A New Approach to Group Key Agreement. ICDCS 1998: 380-387
34		N. Asokan, Victor Shoup, Michael Waidner: Asynchronous Protocols for Optimistic Fair Exchange. IEEE Symposium on Security and Privacy 1998: 86-99
33		Birgit Pfitzmann, Matthias Schunter, Michael Waidner: Optimal Efficiency of Optimistic Contract Signing. PODC 1998: 113-122
32		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)
31		José L. Abad Peiro, N. Asokan, Michael Steiner, Michael Waidner: Designing a Generic Payment Service. IBM Systems Journal 37(1): 72-88 (1998)
30		Birgit Pfitzmann, Michael Waidner: How to Break Fraud-Detectable Key Recovery. Operating Systems Review 32(1): 23-28 (1998)
	1997
29		Birgit Pfitzmann, Michael Waidner: Asymmetric Fingerprinting for Larger Collusions. ACM Conference on Computer and Communications Security 1997: 151-160
28		N. Asokan, Matthias Schunter, Michael Waidner: Optimistic Protocols for Fair Exchange. ACM Conference on Computer and Communications Security 1997: 7-17
27		Birgit Pfitzmann, Michael Waidner: Anonymous Fingerprinting. EUROCRYPT 1997: 88-102
26		Birgit Pfitzmann, Michael Waidner: Strong Loss Tolerance of Electronic Coin Systems. ACM Trans. Comput. Syst. 15(2): 194-213 (1997)
25		Andreas Pfitzmann, Birgit Pfitzmann, Matthias Schunter, Michael Waidner: Trusting Mobile User Devices and Security Modules. IEEE Computer 30(2): 61-68 (1997)
24		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)
23		N. Asokan, Gene Tsudik, Michael Waidner: Server-Supported Signatures. Journal of Computer Security 5(1): 91-108 (1997)
	1996
22		Michael Steiner, Gene Tsudik, Michael Waidner: Diffie-Hellman Key Distribution Extended to Group Communication. ACM Conference on Computer and Communications Security 1996: 31-37
21		Michael Waidner: Development of a Secure Electronic Marketplace for Europe. ESORICS 1996: 1-14
20		N. Asokan, Gene Tsudik, Michael Waidner: Server-Supported Signatures. ESORICS 1996: 131-143
	1995
19		Birgit Pfitzmann, Matthias Schunter, Michael Waidner: How to Break Another Provably Secure Payment System. EUROCRYPT 1995: 121-132
18		Andreas Pfitzmann, Birgit Pfitzmann, Matthias Schunter, Michael Waidner: Vertrauenswürdiger Entwurf portabler Benutzerendgeräte und Sicherheitsmodule. VIS 1995: 329-
17		Michael Steiner, Gene Tsudik, Michael Waidner: Refinement and Extension of Encrypted Key Exchange. Operating Systems Review 29(3): 22-30 (1995)
	1994
16		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
	1992
15		Birgit Pfitzmann, Michael Waidner: Attacks on Protocols for Server-Aided RSA Computation. EUROCRYPT 1992: 153-162
14		Birgit Pfitzmann, Michael Waidner: Unconditional Byzantine Agreement for any Number of Faulty Processors. STACS 1992: 339-350
	1991
13		Birgit Pfitzmann, Michael Waidner: How To Break and Repair A "Provably Secure" Untraceable Payment System. CRYPTO 1991: 338-350
12		Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner: ISDN-MIXes: Untraceable Communication with Small Bandwidth Overhead. Kommunikation in Verteilten Systemen 1991: 451-463
11		Birgit Baum-Waidner, Birgit Pfitzmann, Michael Waidner: Unconditional Byzantine Agreement with Good Majority. STACS 1991: 285-295
10		Birgit Pfitzmann, Michael Waidner: Fail-stop-Signaturen und ihre Anwendung. VIS 1991: 289-301
9		Birgit Pfitzmann, Michael Waidner: Unbedingte Unbeobachtbarkeit mit kryprographischer Robustheit. VIS 1991: 302-320
	1990
8		Gerrit Bleumer, Birgit Pfitzmann, Michael Waidner: A Remark on a Signature Scheme Where Forgery Can Be Proved. EUROCRYPT 1990: 441-445
7		Michael Waidner, Birgit Pfitzmann: Loss-tolerance for electronic wallets. FTCS 1990: 140-147
	1989
6		Michael Waidner: Unconditional Sender and Recipient Untraceability in Spite of Active Attacks. EUROCRYPT 1989: 302-319
5		Michael Waidner, Birgit Pfitzmann: The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract). EUROCRYPT 1989: 690
	1988
4		Andreas Pfitzmann, Birgit Pfitzmann, Michael Waidner: Datenschutz garantierende offene Kommunikationsnetze. Informatik Spektrum 11(3): 118-142 (1988)
	1987
3		Michael Waidner, Birgit Pfitzmann: Verlusttolerante elektronische Brieftaschen. Fehlertolerierende Rechensysteme 1987: 36-50
	1985
2		Michael Waidner, Andreas Pfitzmann: Betrugssicherheit trotz Anonymität, Abrechnung und Geldtransfer in Netzen. Datenschutz und Datensicherung 1985: 128-141
1		Andreas Pfitzmann, Michael Waidner: Networks Without User Observability: Design Options. EUROCRYPT 1985: 245-253

Coauthor Index

1	N. Asokan	[20] [23] [24] [28] [31] [34] [36] [38] [42] [46]
2	Vijayalakshmi Atluri (Vijay Atluri)	[76]
3	Michael Backes	[58] [61] [62] [64] [65] [67] [68] [69] [72] [73] [74] [75] [76] [77] [78] [80] [81] [84] [85] [87] [88] [89]
4	David A. Basin	[76] [81] [87] [88]
5	Birgit Baum-Waidner	[11] [48]
6	Mihir Bellare	[41]
7	Zinaida Benenson	[86]
8	Gerrit Bleumer	[8]
9	Jean-Paul Boly	[16]
10	Antoon Bosselaers	[16]
11	Peter Buhler	[47] [52]
12	Ran Canetti	[54]
13	Ronald Cramer	[16]
14	Frédéric Cuppens	[50]
15	Hervé Debar	[38]
16	Yves Deswarte	[50]
17	Thomas Eirich	[47] [52]
18	Hannes Federrath	[91]
19	Simon Field	[45]
20	Simone Fischer-Hübner	[92] [93]
21	Felix C. Freiling (Felix C. Gärtner)	[86]
22	Juan A. Garay	[41]
23	Dieter Gollmann	[50] [59]
24	Joshua D. Guttman	[54]
25	Marit Hansen	[91]
26	Ralf C. Hauser	[41]
27	Els Van Herreweghen	[41] [66]
28	Amir Herzberg	[41]
29	Chris Jay Hoofnagle	[92] [93]
30	Philippe A. Janson	[24] [46]
31	Günter Karjoth	[56] [57] [59] [66] [71] [83]
32	Hugo Krawczyk	[41]
33	Ioannis Krontiris	[92] [93]
34	Gérard Lacoste	[51]
35	Michael Marhöfer	[92]
36	Rolf Michelsen	[16]
37	Stig Fr. Mjølsnes	[16]
38	Frank Muller	[16]
39	Vern Paxson	[79]
40	Torben P. Pedersen	[16]
41	José L. Abad Peiro	[31]
42	Andreas Pfitzmann	[1] [2] [4] [12] [18] [25]
43	Birgit Pfitzmann	[3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [25] [26] [27] [29] [30] [33] [43] [44] [49] [51] [53] [55] [58] [60] [61] [62] [63] [64] [65] [67] [68] [69] [72] [73] [74] [75] [77] [78] [80] [81] [82] [83] [84] [85] [86] [87] [89]
44	Kai Rannenberg	[92] [93]
45	Christian Rohner	[86]
46	Peter de Rooij	[16]
47	Andre Scedrov	[54]
48	Berry Schoenmakers	[16]
49	Matthias Schunter	[16] [18] [19] [25] [28] [32] [33] [37] [39] [44] [56] [57] [66] [71] [82] [83] [90]
50	Victor Shoup	[34] [36] [42]
51	Christoph Sprenger	[81] [87]
52	Michael Steiner	[17] [22] [24] [31] [35] [38] [40] [41] [46] [47] [51] [52] [58]
53	Neeraj Suri	[94]
54	Gene Tsudik	[17] [20] [22] [23] [35] [40] [41]
55	Luc Vallée	[16]
56	David Wagner	[54]
57	Dale Whinnett	[32] [37] [39]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page