Jonathan Herzog

	2006
5		Ran Canetti, Jonathan Herzog: Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. TCC 2006: 380-403
4		Jonathan Herzog: Applying protocol analysis to security device interfaces. IEEE Security & Privacy 4(4): 84-87 (2006)
	2005
3		Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS 2005: 374-396
2		Jonathan Herzog: A computational interpretation of Dolev-Yao adversaries. Theor. Comput. Sci. 340(1): 57-81 (2005)
	2003
1		Jonathan Herzog, Moses Liskov, Silvio Micali: Plaintext Awareness via Key Registration. CRYPTO 2003: 548-564

Coauthor Index

1	Pedro Adão	[3]
2	Gergei Bana	[3]
3	Ran Canetti	[5]
4	Moses Liskov	[1]
5	Silvio Micali	[1]
6	Andre Scedrov	[3]