Moving the bar on computationally sound exclusive-or

DOI10.1007/978-3-030-88428-4_14MaRDI QIDQ2148759zbMATH OpenOpenAlexFDO

Authors Catherine Meadows

Publication date 24 June 2022

Full work available at URL https://doi.org/10.1007/978-3-030-88428-4_14

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Computational soundness of symbolic analysis for protocols using hash functions
• Limits of the cryptographic realization of Dolev-Yao-style XOR
• Security proof with dishonest keys
• Computational soundness of coinductive symbolic security under active attacks
• Theory of Cryptography

Cites work

• scientific article; zbMATH DE number 1942410 (Why is no real title available?)
• scientific article; zbMATH DE number 1759457 (Why is no real title available?)
• A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
• Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems
• Automata, Languages and Programming
• Automated proofs of block cipher modes of operation
• Blockwise-Adaptive Chosen-Plaintext Attack and Online Modes of Encryption
• Characterizing collision and second-preimage resistance in Linicrypt
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Linicrypt: a model for practical cryptography
• Mobile values, new names, and secure communication
• On the security of public key protocols
• Term Rewriting and All That
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
• Theory of Cryptography

Cited in

(3)

• Computational soundness, co-induction, and encryption cycles
• CryptoSolve: towards a tool for the symbolic analysis of cryptographic algorithms
• Local XOR unification: definitions, algorithms and application to cryptography

This page was built for publication: Moving the bar on computationally sound exclusive-or

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148759)