Local XOR unification: definitions, algorithms and application to cryptography

DOI10.1007/978-3-031-17715-6_18OpenAlexW3046376468MaRDI QIDQ6109480

No author found.

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

unificationmodes of operationformal analysis of cryptography

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unification modulo homomorphic encryption
• Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems
• Equational security proofs of oblivious transfer protocols
• Moving the bar on computationally sound exclusive-or
• Linicrypt: A Model for Practical Cryptography
• Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
• Efficient General Unification for XOR with Homomorphism
• Fast Software Encryption
• Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model

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