[Resource Topic] 2010/389: The impossibility of computationally sound XOR

Welcome to the resource topic for 2010/389

Title:
The impossibility of computationally sound XOR

Authors: Dominique Unruh

Abstract:

We give a simple example that there is no symbolic theory for exclusive or (XOR) that is computationally sound.

ePrint: https://eprint.iacr.org/2010/389

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .