A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2016.10.005
@@ Property / DOI: 10.1016/j.jlamp.2016.10.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Akiss
@@ Property / describes a project that uses: Akiss / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FAST
@@ Property / describes a project that uses: FAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LALBLC
@@ Property / describes a project that uses: LALBLC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAMARIN
@@ Property / describes a project that uses: TAMARIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2951996797
@@ Property / OpenAlex ID: W2951996797 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08279
@@ Property / arXiv ID: 1610.08279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536407
@@ Property / cites work: Q4536407 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of symbolic methods in computational analysis of cryptographic systems
+Normal rank
@@ Property / cites work @@
+Towards Unconditional Soundness: Computationally Complete Symbolic Attacker
+Normal rank
@@ Property / cites work @@
+Probabilistic relational verification for cryptographic implementations
+Normal rank
@@ Property / cites work @@
+New directions in cryptography
@@ Property / cites work: New directions in cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+A method for obtaining digital signatures and public-key cryptosystems
+Normal rank
@@ Property / cites work @@
+CSP and anonymity
@@ Property / cites work: CSP and anonymity / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Receipt-free secret-ballot elections (extended abstract)
+Normal rank
@@ Property / cites work @@
+Practical Everlasting Privacy
@@ Property / cites work: Practical Everlasting Privacy / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of e-Auction Protocols
@@ Property / cites work: Formal Verification of e-Auction Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation based security in the applied pi calculus
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and combination results for two notions of knowledge in security protocols
+Normal rank
@@ Property / cites work @@
+Computing knowledge in security protocols under convergent equational theories
+Normal rank
@@ Property / cites work @@
+YAPA
@@ Property / cites work: YAPA / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389067
@@ Property / cites work: Q5389067 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230922
@@ Property / cites work: Q4230922 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Techniques for Cryptographic Processes
@@ Property / cites work: Proof Techniques for Cryptographic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Deciding equivalence-based properties using constraint solving
+Normal rank
@@ Property / cites work @@
+Q2842870
@@ Property / cites work: Q2842870 / rank @@
+Normal rank
@@ Property / cites work @@
+From Security Protocols to Pushdown Automata
@@ Property / cites work: From Security Protocols to Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Symbolic Bisimilarity for an Extended Spi Calculus
+Normal rank
@@ Property / cites work @@
+Decidability of equivalence of symbolic derivations
+Normal rank
@@ Property / cites work @@
+A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
+Normal rank
@@ Property / cites work @@
+Automating Security Analysis: Symbolic Equivalence of Constraint Systems
+Normal rank
@@ Property / cites work @@
+Automated Verification of Equivalence Properties of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Equivalence Properties of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Partial Order Reduction for Security Protocols
@@ Property / cites work: Partial Order Reduction for Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+From Security Protocols to Pushdown Automata
@@ Property / cites work: From Security Protocols to Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447230
@@ Property / cites work: Q4447230 / rank @@
+Normal rank
@@ Property / cites work @@
+LALBLC A Program Testing the Equivalence of dpda’s
+Normal rank
@@ Property / cites work @@
+Typing Messages for Free in Security Protocols: The Case of Equivalence Properties
+Normal rank
@@ Property / cites work @@
+Q4417856
@@ Property / cites work: Q4417856 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Proving More Observational Equivalences with ProVerif
+Normal rank
@@ Property / cites work @@
+Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity
+Normal rank
@@ Property / cites work @@
+Folding Variant Narrowing and Optimal Variant Termination
+Normal rank
@@ Property / cites work @@
+Security Protocols, Constraint Systems, and Group Theories
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2016.10.005
@@ Property / DOI: 10.1016/J.JLAMP.2016.10.005 / rank @@
+Normal rank