Browsing Computer Science by Supervisor "Mosca, Michele"
Now showing items 1-3 of 3
-
Extended Nonlocal Games
(University of Waterloo, 2017-03-31)The notions of entanglement and nonlocality are among the most striking ingredients found in quantum information theory. One tool to better understand these notions is the model of nonlocal games; a mathematical framework ... -
Formal Methods in Quantum Circuit Design
(University of Waterloo, 2019-02-26)The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ... -
Quantum information in security protocols
(University of Waterloo, 2022-01-18)Information security deals with the protection of our digital infrastructure. Achieving meaningful real-world security requires powerful cryptographic models that can give strong security guarantees and it requires ...