Local XOR unification: definitions, algorithms and application to cryptography

DOI10.1007/978-3-031-17715-6_18MaRDI QIDQ6109480zbMATH OpenOpenAlexFDO

Authors

Publication date 28 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-17715-6_18

zbMATH Keywords

formal analysis of cryptographymodes of operationunification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems
• Asymmetric unification: a new unification paradigm for cryptographic protocol analysis
• Automated unbounded analysis of cryptographic constructions in the generic group model
• Efficient general unification for XOR with homomorphism
• Equational security proofs of oblivious transfer protocols
• Fast Software Encryption
• Linicrypt: a model for practical cryptography
• Moving the bar on computationally sound exclusive-or
• Unification modulo homomorphic encryption

This page was built for publication: Local XOR unification: definitions, algorithms and application to cryptography

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