1. Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. CoRR, quant-ph/0406196 (2004)
2. Aharonov, D., Ben-Or, M., Eban, E.: Interactive proofs for quantum computations. In: Proceedings of the Innovations in Computer Science - ICS 2010, Tsinghua University, Beijing, China, 5–7 January 2010, pp. 453–469 (2010)
3. Lecture Notes in Computer Science;G Alagic,2016
4. Alagic, G., Gagliardoni, T., Majenz, C.: Unforgeable quantum encryption. Cryptology ePrint Archive, Report 2017/960 (2017). https://eprint.iacr.org/2017/960
5. Lecture Notes in Computer Science;G Alagic,2017