QMC: A model checker for quantum systems - Tool paper

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5123 LNCS, Issue , 2008, Pages 543-547

  Gay, Simon J ^a   Nagarajan, Rajagopal ^b   Papanikolaou, Nikolaos ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 49049107153     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70545-1_51     Document Type: Conference Paper

References (10)

1. Mayers, D.: Unconditional security in quantum cryptography. Journal of the ACM 48(3), 351-406 (2001)
2. Gay, S.J., Nagarajan, R., Papanikolaou, N.: Probabilistic model-checking of quantum protocols. In: DCM 2006: Proceedings of the 2nd International Workshop on Developments in Computational Models (2006) arXiv:quant-ph/0504007
3. Baltazar, P., Chadha, R., Mateus, P., Sernadas, A.: Towards model-checking quantum security protocols. In: Dini, P., et al. (eds.) Proceedings of the First Workshop on Quantum Security: QSec 2007, IEEE Press, Los Alamitos (2007)
4. Gottesman, D.: The Heisenberg representation of quantum computers. In: Corney, S., Delbourgo, R., Jarvis, P. (eds.) Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics. International Press (1999)
5. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
6. Bennett, C.H., Brassard, G.: Quantum Cryptography: Public key distribution and coin tossing. In: Proceedings of International Conference on Computers, Systems and Signal Processing (1984)
7. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach. In: POPL 1983: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 117-126. ACM, New York (1983)
8. Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. Physical Review A 70(52328) (2004)
9. Audenaert, K., Plenio, M.: Entanglement on mixed stabiliser states: Normal forms and reduction procedures. New Journal of Physics 7(170) (2005)
10. Bravyi, S., Kitaev, A.: Universal quantum computation with ideal Clifford gates and noisy ancillas. Physical Review A 71, 1-14 (2005)