Jonathan Herzog

International Association for Cryptologic Research

Jonathan Herzog Search web for home page

	year	title	booktitle	pages
1	2011	Universally Composable Symbolic Security Analysis	jofc	83-147
2	2006	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols	tcc	online
3	2004	Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange)	eprint	online
4	2003	Plaintext Awareness via Key Registration	crypto	online