Beyond Provable Security Verifiable IND-CCA Security of OAEP (Q3073706): Difference between revisions

@@ Property / author @@
-Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / rank @@
-Normal rank
@@ Property / author @@
+Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CertiCrypt
@@ Property / describes a project that uses: CertiCrypt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+seL4
@@ Property / describes a project that uses: seL4 / 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-19074-2_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1539009458
@@ Property / OpenAlex ID: W1539009458 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Proof of Provable Security by Game-Playing in a Proof Assistant
+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 @@
+A Formal Language for Cryptographic Pseudocode
@@ Property / cites work: A Formal Language for Cryptographic Pseudocode / rank @@
+Normal rank
@@ Property / cites work @@
+OAEP Is Secure under Key-Dependent Messages
@@ Property / cites work: OAEP Is Secure under Key-Dependent Messages / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+Programming Language Techniques for Cryptographic Proofs
+Normal rank
@@ Property / cites work @@
+Subtleties in the definition of IND-CCA: when and how should challenge decryption be disallowed?
+Normal rank
@@ Property / cites work @@
+Q4365732
@@ Property / cites work: Q4365732 / rank @@
+Normal rank
@@ Property / cites work @@
+The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
+Normal rank
@@ Property / cites work @@
+Strengthening Security of RSA-OAEP
@@ Property / cites work: Strengthening Security of RSA-OAEP / rank @@
+Normal rank
@@ Property / cites work @@
+Automated proofs for asymmetric encryption
@@ Property / cites work: Automated proofs for asymmetric encryption / rank @@
+Normal rank
@@ Property / cites work @@
+RSA-OAEP is secure under the RSA assumption
@@ Property / cites work: RSA-OAEP is secure under the RSA assumption / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302558
@@ Property / cites work: Q5302558 / rank @@
+Normal rank
@@ Property / cites work @@
+A revision of the proof of the Kepler conjecture
@@ Property / cites work: A revision of the proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Another look at automated theorem-proving
@@ Property / cites work: Another look at automated theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Q5489061
@@ Property / cites work: Q5489061 / rank @@
+Normal rank
@@ Property / cites work @@
+A method for obtaining digital signatures and public-key cryptosystems
+Normal rank
@@ Property / cites work @@
+Q4783729
@@ Property / cites work: Q4783729 / rank @@
+Normal rank