Quantum homomorphic encryption for Clifford+CS operators

This is the Agda code accompanying the paper "Quantum homomorphic encryption for Clifford+CS operators" by Xiaoning Bian and Xin Sun.

Files

Download the code here: qheVeri.zip.
See 00-README for a description of the contents.

Compatibility

This code was tested with Agda versions 2.6.2.2 and 2.6.4-b5105f4. For instructions on how to install and use Agda, see https://agda.readthedocs.io/en/latest/.

Authors

Xiaoning Bian bian@dal.ca
Xin Sun xin.sun.logic@gmail.com

Copyright and License

This works is licensed under the Creative Commons CC BY 2.0 license. See https://creativecommons.org/licenses/by/2.0/ for more details.