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

@@ 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