John C. Mitchell

International Association for Cryptologic Research

John C. Mitchell Search web for home page

1	2011	Crypto	pc
2	2006	TCC	pc

	year	title	booktitle	pages
1	2010	A Security Evaluation of DNSSEC with NSEC3	eprint	online
2	2008	On the Relationships between Notions of Simulation-Based Security	jofc	492-546
3	2007	Inductive Proof Method for Computational Secrecy	eprint	online
4	2006	Key Exchange Protocols: Security Definition, Proof Method and Applications	eprint	online
5	2006	Games and the Impossibility of Realizable Ideal Functionality	tcc	online
6	2006	On the Relationships Between Notions of Simulation-Based Security	eprint	online
7	2006	Inductive Trace Properties for Computational Security	eprint	online
8	2005	Games and the Impossibility of Realizable Ideal Functionality	eprint	online
9	2005	On the Relationships Between Notions of Simulation-Based Security	tcc	online