CryptoDB
The impossibility of computationally sound XOR
Authors: | |
---|---|
Download: | |
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 }