Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980): 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.1016/j.tcs.2007.11.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2038704899
@@ Property / OpenAlex ID: W2038704899 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of Formal Encryption in the Presence of Key-Cycles
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q5714435
@@ Property / cites work: Q5714435 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Security analysis of cryptographically controlled access to XML documents
+Normal rank
@@ Property / cites work @@
+Models of Objective Chance: An Analysis through Examples
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
+Normal rank
@@ Property / cites work @@
+Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes
+Normal rank
@@ Property / cites work @@
+Q2743964
@@ Property / cites work: Q2743964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364570
@@ Property / cites work: Q4364570 / rank @@
+Normal rank
@@ Property / cites work @@
+The random oracle methodology, revisited
@@ Property / cites work: The random oracle methodology, revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
+Normal rank
@@ Property / cites work @@
+Q4542530
@@ Property / cites work: Q4542530 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmalleable Cryptography
@@ Property / cites work: Nonmalleable Cryptography / 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 @@
+Q3210163
@@ Property / cites work: Q3210163 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic encryption
@@ Property / cites work: Probabilistic encryption / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Cryptography
@@ Property / cites work: Foundations of Cryptography / 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 @@
+Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Software Encryption
@@ Property / cites work: Fast Software Encryption / rank @@
+Normal rank