Ante Derek

International Association for Cryptologic Research

Ante Derek Search web for home page

	year	title	booktitle	pages
1	2007	Inductive Proof Method for Computational Secrecy	eprint	online
2	2006	Key Exchange Protocols: Security Definition, Proof Method and Applications	eprint	online
3	2006	Games and the Impossibility of Realizable Ideal Functionality	tcc	online
4	2006	Inductive Trace Properties for Computational Security	eprint	online
5	2005	Games and the Impossibility of Realizable Ideal Functionality	eprint	online