Universally composable symbolic security analysis (Q2429708): Difference between revisions

@@ Property / describes a project that uses @@
+ProVerif
@@ Property / describes a project that uses: ProVerif / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00145-009-9055-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2117301329
@@ Property / OpenAlex ID: W2117301329 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols with secrecy types and logic programs
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q5714435
@@ Property / cites work: Q5714435 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Soundness of Formal Encryption in the Presence of Key-Cycles
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Limits of the Cryptographic Realization of Dolev-Yao-Style XOR
+Normal rank
@@ Property / cites work @@
+Secure multiparty protocols and zero-knowledge proof systems tolerating a faulty minority
+Normal rank
@@ Property / cites work @@
+Q4341751
@@ Property / cites work: Q4341751 / rank @@
+Normal rank
@@ Property / cites work @@
+How to Generate Cryptographically Strong Sequences of Pseudorandom Bits
+Normal rank
@@ Property / cites work @@
+Security and composition of multiparty cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Q2778861
@@ Property / cites work: Q2778861 / 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 @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / 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 @@
+Nonmalleable Cryptography
@@ Property / cites work: Nonmalleable Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Cryptography
@@ Property / cites work: Foundations of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Definitions and properties of zero-knowledge proof systems
+Normal rank
@@ Property / cites work @@
+Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
+Normal rank
@@ Property / cites work @@
+Q4279565
@@ Property / cites work: Q4279565 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic encryption
@@ Property / cites work: Probabilistic encryption / rank @@
+Normal rank
@@ Property / cites work @@
+A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
+Normal rank
@@ Property / cites work @@
+The Knowledge Complexity of Interactive Proof Systems
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+A computational interpretation of Dolev-Yao adversaries
+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 @@
+Q4493893
@@ Property / cites work: Q4493893 / rank @@
+Normal rank
@@ Property / cites work @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+The Notion of Security for Probabilistic Cryptosystems
+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 @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Q4035737
@@ Property / cites work: Q4035737 / rank @@
+Normal rank