Automated proofs for asymmetric encryption (Q540682): Difference between revisions

@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249318
@@ Property / cites work: Q4249318 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+Automated Security Proofs with Sequences of Games
@@ Property / cites work: Automated Security Proofs with Sequences of Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365732
@@ Property / cites work: Q4365732 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs
+Normal rank
@@ Property / cites work @@
+Q4035738
@@ Property / cites work: Q4035738 / rank @@
+Normal rank
@@ Property / cites work @@
+New directions in cryptography
@@ Property / cites work: New directions in cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-knowledge proofs of identity
@@ Property / cites work: Zero-knowledge proofs of identity / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724435
@@ Property / cites work: Q2724435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4950040
@@ Property / cites work: Q4950040 / rank @@
+Normal rank
@@ Property / cites work @@
+OAEP reconsidered
@@ Property / cites work: OAEP reconsidered / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412973
@@ Property / cites work: Q4412973 / rank @@
+Normal rank