Local XOR Unification: Definitions, Algorithms and Application to Cryptography

Hai Lin 0005, Christopher Lynch. Local XOR Unification: Definitions, Algorithms and Application to Cryptography. In Helmut Seidl, Zhiming Liu 0001, Corina S. Pasareanu, editors, Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Volume 13572 of Lecture Notes in Computer Science, pages 272-289, Springer, 2022. [doi]

Authors

Hai Lin 0005

This author has not been identified. Look up 'Hai Lin 0005' in Google

Christopher Lynch

This author has not been identified. Look up 'Christopher Lynch' in Google