Searching for authors named "Jonathan Herzog" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
A Computational Interpretation of Dolev-Yao Adversaries
- …A Computational Interpretation of Dolev-Yao Adversaries Jonathan Herzog Massachusetts Institute…
- Cited by 11 (1 self) – Add To MetaCart
-
Computational Soundness for Standard Assumptions of Formal Cryptography
- …Computational Soundness for Standard Assumptions of Formal Cryptography by Jonathan Herzog B…
- Add To MetaCart
-
Universally composable symbolic analysis of mutual authentication and key exchange protocols
- … ⋆ (Extended Abstract) Ran Canetti 1 and Jonathan Herzog 2 1 IBM Research ⋆ ⋆ ⋆ 2 The MITRE Corporation…
- Cited by 16 (1 self) – Add To MetaCart
-
Universally Composable Symbolic Analysis of Cryptographic Protocols (The Case of Encryption-Based Mutual Authentication and Key Exchange)
- …-Based Mutual Authentication and Key Exchange) ∗ Ran Canetti and Jonathan Herzog February 22, 2005 Abstract…
- Cited by 22 (3 self) – Add To MetaCart
-
Computational Soundness of Formal Adversaries
- …1 Computational Soundness of Formal Adversaries by Jonathan Herzog Submitted to the Department…
- Cited by 10 (2 self) – Add To MetaCart
-
Plaintext Awareness Via Key Registration
- …PLAINTEXT AWARENESS VIA KEY REGISTRATION JONATHAN HERZOG, MOSES LISKOV, SILVIO MICALI MIT…
- Add To MetaCart
-
Soundness of Formal Encryption in the Presence ofKey-Cycles
- …??, Jonathan Herzog3, and Andre Scedrov2? ? ? 1 Center for Logic and Computation, IST, Lisboa, Portugal 2…
- Add To MetaCart
-
Soundness and completeness of formal encryption: The cases of key-cycles and partial information leakage
- … Leakage (Preliminary Version) Pedro Ad~ao1?, Gergei Bana2??, Jonathan Herzog3, and Andre Scedrov4? ? ? 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Soundness and Completeness of Formal Encryption: the Cases of Key-Cycles and Partial Information Leakage (Preliminary Version)
- … Leakage (Preliminary Version) Pedro Adão1⋆ , Gergei Bana2⋆⋆ , Jonathan Herzog3 4⋆ ⋆ ⋆ , and Andre Scedrov…
- Add To MetaCart
-
Plaintext awareness via key registration
- … Plaintext Awareness via Key Registration Jonathan Herzog, Moses Liskov, and Silvio Micali MIT…
- Cited by 23 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
