International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

The impossibility of computationally sound XOR

Authors:
Dominique Unruh
Download:
URL: http://eprint.iacr.org/2010/389
Search ePrint
Search Google
Abstract: We give a simple example that there is no symbolic theory for exclusive or (XOR) that is computationally sound.
BibTeX
@misc{eprint-2010-23290,
  title={The impossibility of computationally sound XOR},
  booktitle={IACR Eprint archive},
  keywords={foundations / Computational soundness, symbolic models, XOR},
  url={http://eprint.iacr.org/2010/389},
  note={ unruh@mmci.uni-saarland.de 14799 received 9 Jul 2010},
  author={Dominique Unruh},
  year=2010
}