Moving the bar on computationally sound exclusive-or (Q2148759): Difference between revisions

@@ Property / author @@
-Catherine A. Meadows
@@ Property / author: Catherine A. Meadows / rank @@
-Normal rank
@@ Property / author @@
+Catherine A. Meadows
@@ Property / author: Catherine A. Meadows / 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-030-88428-4_14
+Normal rank
@@ Property / OpenAlex ID @@
+W3203992497
@@ Property / OpenAlex ID: W3203992497 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Q4536407
@@ Property / cites work: Q4536407 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Blockwise-Adaptive Chosen-Plaintext Attack and Online Modes of Encryption
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / 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 @@
+A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
+Normal rank
@@ Property / cites work @@
+Linicrypt: A Model for Practical Cryptography
@@ Property / cites work: Linicrypt: A Model for Practical Cryptography / 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 @@
+Automated proofs of block cipher modes of operation
+Normal rank
@@ Property / cites work @@
+Q4409106
@@ Property / cites work: Q4409106 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems
+Normal rank
@@ Property / cites work @@
+Characterizing collision and second-preimage resistance in Linicrypt
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2148759