POR for security protocol equivalences. Beyond action-determinism (Q2167736): Difference between revisions

@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Private authentication
@@ Property / cites work: Private authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal dynamic partial order reduction
@@ Property / cites work: Optimal dynamic partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+POR for security protocol equivalences. Beyond action-determinism
+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 @@
+Q5270090
@@ Property / cites work: Q5270090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Equivalence Properties of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Automating Security Analysis: Symbolic Equivalence of Constraint Systems
+Normal rank
@@ Property / cites work @@
+Deciding equivalence-based properties using constraint solving
+Normal rank
@@ Property / cites work @@
+The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
+Normal rank
@@ Property / cites work @@
+Q4518908
@@ Property / cites work: Q4518908 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
+Normal rank
@@ Property / cites work @@
+Cryptographic Hardware and Embedded Systems - CHES 2004
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank