dblp.uni-trier.dewww.uni-trier.de

Jonathan Herzog

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EERan Canetti, Jonathan Herzog: Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. TCC 2006: 380-403
2005
3EEPedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS 2005: 374-396
2EEJonathan Herzog: A computational interpretation of Dolev-Yao adversaries. Theor. Comput. Sci. 340(1): 57-81 (2005)
2003
1EEJonathan Herzog, Moses Liskov, Silvio Micali: Plaintext Awareness via Key Registration. CRYPTO 2003: 548-564

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)