July 2010. Preprint on IACR ePrint 2010/389.
We give a simple example that there is no symbolic theory for exclusive or (XOR) that is computationally sound.
This publication is accompanied by links to downloadable versions of this publication. These documents do not necessarily correspond exactly to the cited version. Instead, in most cases full, updated or preliminary versions are provided.
Slides used in my talks are available upon personal request, as long as you agree not to disseminate them to a wider audience or make them available online. If in doubt, please ask.