Automated Proofs for Asymmetric Encryption (Q5187835): Difference between revisions

@@ Property / author @@
-Cristian Ene
@@ Property / author: Cristian Ene / 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 @@
+Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / 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-11512-7_19
+Normal rank
@@ Property / OpenAlex ID @@
+W4213132237
@@ Property / OpenAlex ID: W4213132237 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / 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 @@
+Q4249318
@@ Property / cites work: Q4249318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365732
@@ Property / cites work: Q4365732 / rank @@
+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 @@
+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 @@
+Zero-knowledge proofs of identity
@@ Property / cites work: Zero-knowledge proofs of identity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263421
@@ Property / cites work: Q4263421 / 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