Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672): Difference between revisions

@@ Property / cites work @@
+Q4499295
@@ Property / cites work: Q4499295 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+The Notion of Security for Probabilistic Cryptosystems
+Normal rank
@@ Property / cites work @@
+Information Security and Cryptology - ICISC 2003
@@ Property / cites work: Information Security and Cryptology - ICISC 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for reasoning about cryptographic constructions
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4279565
@@ Property / cites work: Q4279565 / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542539
@@ Property / cites work: Q4542539 / rank @@
+Normal rank
@@ Property / cites work @@
+Security and composition of multiparty cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Q2778843
@@ Property / cites work: Q2778843 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure multiparty protocols and zero-knowledge proof systems tolerating a faulty minority
+Normal rank
@@ Property / cites work @@
+Q4249318
@@ Property / cites work: Q4249318 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric Authentication within a Simulatable Cryptographic Library
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4418691
@@ Property / cites work: Q4418691 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Q5714435
@@ Property / cites work: Q5714435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413854
@@ Property / cites work: Q4413854 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249317
@@ Property / cites work: Q4249317 / rank @@
+Normal rank