Verification of Quantum Computation and the Price of Trust

Alexandru Gheorghiu; Theodoros Kapourniotis; Elham Kashefi

doi:10.1007/978-3-319-58747-9_3

Verification of Quantum Computation and the Price of Trust

Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This is an extended abstract of the presentation made at CSR 2017. Complete details can be found in our upcoming paper

Original language	English
Title of host publication	Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Editors	Pascal Weil
Place of Publication	Cham
Publisher	Springer
Pages	15-19
Number of pages	5
ISBN (Electronic)	978-3-319-58747-9
ISBN (Print)	978-3-319-58746-2
DOIs	https://doi.org/10.1007/978-3-319-58747-9_3
Publication status	Published - 6 May 2017
Event	12th International Computer Science Symposium in Russia - Kazan, Russian Federation Duration: 8 Jun 2017 → 12 Jun 2017 https://logic.pdmi.ras.ru/csr2017/welcome

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	10304
ISSN (Print)	0302-9743

Conference

Conference	12th International Computer Science Symposium in Russia
Abbreviated title	CSR 2017
Country/Territory	Russian Federation
City	Kazan
Period	8/06/17 → 12/06/17
Internet address	https://logic.pdmi.ras.ru/csr2017/welcome

Access to Document

10.1007/978-3-319-58747-9_3

extended_abstract-3Accepted author manuscript, 200 KB

https://link.springer.com/chapter/10.1007%2F978-3-319-58747-9_3

Cite this

Gheorghiu, A., Kapourniotis, T., & Kashefi, E. (2017). Verification of Quantum Computation and the Price of Trust. In P. Weil (Ed.), Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings (pp. 15-19). (Lecture Notes in Computer Science; Vol. 10304). Springer. https://doi.org/10.1007/978-3-319-58747-9_3

Gheorghiu, Alexandru ; Kapourniotis, Theodoros ; Kashefi, Elham. / Verification of Quantum Computation and the Price of Trust. Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. editor / Pascal Weil. Cham : Springer, 2017. pp. 15-19 (Lecture Notes in Computer Science).

@inproceedings{11d520cde9314e7d9f2170eee3927381,

title = "Verification of Quantum Computation and the Price of Trust",

abstract = "This is an extended abstract of the presentation made at CSR 2017. Complete details can be found in our upcoming paper",

author = "Alexandru Gheorghiu and Theodoros Kapourniotis and Elham Kashefi",

year = "2017",

month = may,

day = "6",

doi = "10.1007/978-3-319-58747-9_3",

language = "English",

isbn = "978-3-319-58746-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "15--19",

editor = "Pascal Weil",

booktitle = "Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings",

address = "United Kingdom",

note = "12th International Computer Science Symposium in Russia , CSR 2017 ; Conference date: 08-06-2017 Through 12-06-2017",

url = "https://logic.pdmi.ras.ru/csr2017/welcome",

}

Gheorghiu, A, Kapourniotis, T & Kashefi, E 2017, Verification of Quantum Computation and the Price of Trust. in P Weil (ed.), Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10304, Springer, Cham, pp. 15-19, 12th International Computer Science Symposium in Russia , Kazan, Russian Federation, 8/06/17. https://doi.org/10.1007/978-3-319-58747-9_3

Verification of Quantum Computation and the Price of Trust. / Gheorghiu, Alexandru; Kapourniotis, Theodoros; Kashefi, Elham.
Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. ed. / Pascal Weil. Cham: Springer, 2017. p. 15-19 (Lecture Notes in Computer Science; Vol. 10304).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Verification of Quantum Computation and the Price of Trust

AU - Gheorghiu, Alexandru

AU - Kapourniotis, Theodoros

AU - Kashefi, Elham

PY - 2017/5/6

Y1 - 2017/5/6

N2 - This is an extended abstract of the presentation made at CSR 2017. Complete details can be found in our upcoming paper

AB - This is an extended abstract of the presentation made at CSR 2017. Complete details can be found in our upcoming paper

U2 - 10.1007/978-3-319-58747-9_3

DO - 10.1007/978-3-319-58747-9_3

M3 - Conference contribution

SN - 978-3-319-58746-2

T3 - Lecture Notes in Computer Science

SP - 15

EP - 19

BT - Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

A2 - Weil, Pascal

PB - Springer

CY - Cham

T2 - 12th International Computer Science Symposium in Russia

Y2 - 8 June 2017 through 12 June 2017

ER -

Gheorghiu A, Kapourniotis T, Kashefi E. Verification of Quantum Computation and the Price of Trust. In Weil P, editor, Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. Cham: Springer. 2017. p. 15-19. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-58747-9_3

Verification of Quantum Computation and the Price of Trust

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this