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

@@ Property / DOI @@
-.1007/s10817-010-9186-x
@@ Property / DOI: 10.1007/s10817-010-9186-x / rank @@
-Normal rank
@@ Property / author @@
-Cristian Ene
@@ Property / author: Cristian Ene / rank @@
-Normal rank
@@ Property / author @@
-Pascal Lafourcade
@@ Property / author: Pascal Lafourcade / rank @@
-Normal rank
@@ Property / author @@
-Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / rank @@
-Normal rank
@@ Property / author @@
+Cristian Ene
@@ Property / author: Cristian Ene / rank @@
+Normal rank
@@ Property / author @@
+Pascal Lafourcade
@@ Property / author: Pascal Lafourcade / rank @@
+Normal rank
@@ Property / author @@
+Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A60
@@ Property / Mathematics Subject Classification ID: 94A60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5903832
@@ Property / zbMATH DE Number: 5903832 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+provable cryptography
@@ Property / zbMATH Keywords: provable cryptography / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+asymmetric encryption
@@ Property / zbMATH Keywords: asymmetric encryption / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated verification
@@ Property / zbMATH Keywords: automated verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hoare logic
@@ Property / zbMATH Keywords: Hoare logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q121186469
@@ Property / Wikidata QID: Q121186469 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-010-9186-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2072824406
@@ Property / OpenAlex ID: W2072824406 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10817-010-9186-X
@@ Property / DOI: 10.1007/S10817-010-9186-X / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:540682