Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience (Q3100218): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ 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-642-25379-9_27
+Normal rank
@@ Property / OpenAlex ID @@
+W2162571320
@@ Property / OpenAlex ID: W2162571320 / rank @@
+Normal rank
@@ Property / cites work @@
+Survey: Leakage Resilience and the Bounded Retrieval Model
+Normal rank
@@ Property / cites work @@
+Proofs of randomized algorithms in Coq
@@ Property / cites work: Proofs of randomized algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+A survey of symbolic methods in computational analysis of cryptographic systems
+Normal rank
@@ Property / cites work @@
+Interacting with Modal Logics in the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Optimal randomizer efficiency in the bounded-storage model
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for reasoning about cryptographic constructions
+Normal rank
@@ Property / cites work @@
+Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
+Normal rank
@@ Property / cites work @@
+Leakage Resilient ElGamal Encryption
@@ Property / cites work: Leakage Resilient ElGamal Encryption / rank @@
+Normal rank
@@ Property / cites work @@
+Conditionally-perfect secrecy and a provably-secure randomized cipher
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365732
@@ Property / cites work: Q4365732 / rank @@
+Normal rank