On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography (Q5458826): 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-540-77050-3_9
+Normal rank
@@ Property / OpenAlex ID @@
+W1492593877
@@ Property / OpenAlex ID: W1492593877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536407
@@ Property / cites work: Q4536407 / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
+Normal rank
@@ Property / cites work @@
+On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
+Normal rank
@@ Property / cites work @@
+Q4418691
@@ Property / cites work: Q4418691 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric Authentication within a Simulatable Cryptographic Library
+Normal rank
@@ Property / cites work @@
+The reactive simulatability (RSIM) framework for asynchronous systems
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
+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 @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank