Michael Waidner

International Association for Cryptologic Research

Michael Waidner Search web for home page

	year	title	booktitle	pages
1	2006	Reactively Simulatable Certified Mail	eprint	online
2	2006	Cryptographically Sound Theorem Proving	eprint	online
3	2006	Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes	eprint	online
4	2004	A General Composition Theorem for Secure Reactive Systems	tcc	336-354
5	2004	The Reactive Simulatability (RSIM) Framework for Asynchronous Systems	eprint	online
6	2003	Symmetric Authentication Within a Simulatable Cryptographic Library	eprint	online
7	2003	A Universally Composable Cryptographic Library	eprint	online
8	2000	A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission	eprint	online
9	1998	Optimistic Fair Exchange of Digital Signatures (Extended Abstract)	eurocrypt	591-606
10	1997	Optimistic fair Exchange of Digital Signatures	eprint	online
11	1997	Anonymous Fingerprinting	eurocrypt	88-102
12	1995	How to Break Another Provably Secure Payment System	eurocrypt	121-132
13	1992	Attacks on Protocols for Server-Aided RSA Computation	eurocrypt	153-162
14	1991	How To Break and Repair A "Provably Secure" Untraceable Payment System	crypto	338-350
15	1990	A Remark on a Signature Scheme Where Forgery Can Be Proved	eurocrypt	441-445
16	1989	Unconditional Sender and Recipient Untraceability in Spite of Active Attacks	eurocrypt	302-319
17	1989	The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract)	eurocrypt	690
18	1985	Networks Without User Observability: Design Options	eurocrypt	245-253