Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption (Q3631375): Difference between revisions

@@ Property / cites work @@
+Q5714435
@@ Property / cites work: Q5714435 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Q4737237
@@ Property / cites work: Q4737237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474200
@@ Property / cites work: Q4474200 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Topics in Cryptology – CT-RSA 2004
@@ Property / cites work: Topics in Cryptology – CT-RSA 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+A computational interpretation of Dolev-Yao adversaries
+Normal rank
@@ Property / cites work @@
+Q4783733
@@ Property / cites work: Q4783733 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Rerandomizable RCCA Encryption
@@ Property / cites work: Rerandomizable RCCA Encryption / rank @@
+Normal rank