Published in: LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019)
Robert Rand, Kesha Hietala, and Michael Hicks. Formal Verification vs. Quantum Uncertainty. In 3rd Summit on Advances in Programming Languages (SNAPL 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 136, pp. 12:1-12:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{rand_et_al:LIPIcs.SNAPL.2019.12, author = {Rand, Robert and Hietala, Kesha and Hicks, Michael}, title = {{Formal Verification vs. Quantum Uncertainty}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {12:1--12:11}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2019.12}, URN = {urn:nbn:de:0030-drops-105558}, doi = {10.4230/LIPIcs.SNAPL.2019.12}, annote = {Keywords: Formal Verification, Quantum Computing, Programming Languages, Quantum Error Correction, Certified Compilation, NISQ} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Yuan Feng and Mingsheng Ying. Toward Automatic Verification of Quantum Cryptographic Protocols. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 441-455, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{feng_et_al:LIPIcs.CONCUR.2015.441, author = {Feng, Yuan and Ying, Mingsheng}, title = {{Toward Automatic Verification of Quantum Cryptographic Protocols}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {441--455}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.441}, URN = {urn:nbn:de:0030-drops-53936}, doi = {10.4230/LIPIcs.CONCUR.2015.441}, annote = {Keywords: Quantum cryptographic protocols, Verification, Bisimulation, Security} }
Feedback for Dagstuhl Publishing