A survey of symbolic methods in computational analysis of cryptographic systems (Q540683): Difference between revisions

@@ Property / OpenAlex ID @@
+W2091877728
@@ Property / OpenAlex ID: W2091877728 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Computational Secrecy by Typing for the Pi Calculus
+Normal rank
@@ Property / cites work @@
+Cryptographically Sound Implementations for Communicating Processes
+Normal rank
@@ Property / cites work @@
+Cryptographically-Masked Flows
@@ Property / cites work: Cryptographically-Masked Flows / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536407
@@ Property / cites work: Q4536407 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Security analysis of cryptographically controlled access to XML documents
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally sound implementations of equational theories against passive adversaries
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
+Normal rank
@@ Property / cites work @@
+Circular-Secure Encryption from Decision Diffie-Hellman
+Normal rank
@@ Property / cites work @@
+Q4808837
@@ Property / cites work: Q4808837 / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Automated Security Proofs with Sequences of Games
@@ Property / cites work: Automated Security Proofs with Sequences of Games / rank @@
+Normal rank
@@ Property / cites work @@
+The reactive simulatability (RSIM) framework for asynchronous systems
+Normal rank
@@ Property / cites work @@
+Q4413854
@@ Property / cites work: Q4413854 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
+Normal rank
@@ Property / cites work @@
+Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
+Normal rank
@@ Property / cites work @@
+Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
+Normal rank
@@ Property / cites work @@
+Q3113670
@@ Property / cites work: Q3113670 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Key Cycles for Security Protocols
@@ Property / cites work: Deciding Key Cycles for Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol Composition Logic (PCL)
@@ Property / cites work: Protocol Composition Logic (PCL) / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptographically sound implementations for typed information-flow security
+Normal rank
@@ Property / cites work @@
+A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
+Normal rank
@@ Property / cites work @@
+Cryptography in the Multi-string Model
@@ Property / cites work: Cryptography in the Multi-string Model / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and complete computational interpretation of symbolic hashes in the standard model
+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 @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions
+Normal rank
@@ Property / cites work @@
+On the relationships between notions of simulation-based security
+Normal rank
@@ Property / cites work @@
+Q2763667
@@ Property / cites work: Q2763667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417891
@@ Property / cites work: Q4417891 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational soundness of cryptographically masked flows
+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 @@
+Fundamentals of Computation Theory
@@ Property / cites work: Fundamentals of Computation Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
+Normal rank