Efficiently deciding equivalence for standard primitives and phases (Q2167745): Difference between revisions

@@ 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/978-3-319-99073-6_24
+Normal rank
@@ Property / OpenAlex ID @@
+W2887105535
@@ Property / OpenAlex ID: W2887105535 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Verification of Equivalence Properties of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Deciding equivalence-based properties using constraint solving
+Normal rank
@@ Property / cites work @@
+Typing Messages for Free in Security Protocols: The Case of Equivalence Properties
+Normal rank
@@ Property / cites work @@
+Checking trace equivalence: how to get rid of nonces?
+Normal rank
@@ Property / cites work @@
+Typing Messages for Free in Security Protocols
@@ Property / cites work: Typing Messages for Free in Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848037
@@ Property / cites work: Q2848037 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently deciding equivalence for standard primitives and phases
+Normal rank
@@ Property / cites work @@
+Equivalence properties by typing in cryptographic branching protocols
+Normal rank
@@ Property / cites work @@
+Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
+Normal rank
@@ Property / cites work @@
+A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
+Normal rank