Jonathan Herzog

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j4		Ran Canetti, Jonathan Herzog: Universally Composable Symbolic Security Analysis. J. Cryptology 24(1): 83-147 (2011)
	2009
j3		Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage. Journal of Computer Security 17(5): 737-797 (2009)
	2007
c4		Paul Youn, Ben Adida, Mike Bond, Jolyon Clulow, Jonathan Herzog, Amerson Lin, Ronald L. Rivest, Ross J. Anderson: Robbing the Bank with a Theorem Prover - (Abstract). Security Protocols Workshop 2007: 171
	2006
j2		Jonathan Herzog: Applying protocol analysis to security device interfaces. IEEE Security & Privacy 4(4): 84-87 (2006)
c3		Ran Canetti, Jonathan Herzog: Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. TCC 2006: 380-403
	2005
j1		Jonathan Herzog: A computational interpretation of Dolev-Yao adversaries. Theor. Comput. Sci. 340(1): 57-81 (2005)
c2		Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS 2005: 374-396
	2004
i1		Ran Canetti, Jonathan Herzog: Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange). IACR Cryptology ePrint Archive 2004: 334 (2004)
	2003
c1		Jonathan Herzog, Moses Liskov, Silvio Micali: Plaintext Awareness via Key Registration. CRYPTO 2003: 548-564

Coauthor Index

Last update Mon May 20 05:52:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page