| Publication | Date of Publication | Type |
|---|
Rigidity of quantum steering and one-sided device-independent verifiable quantum computation New Journal of Physics | 2023-05-12 | Paper |
Dispelling myths on superposition attacks: formal security model and attack analyses Provable and Practical Security | 2023-03-21 | Paper |
Security limitations of classical-client delegated quantum computing (available as arXiv preprint) | 2023-03-21 | Paper |
scientific article; zbMATH DE number 7651030 (Why is no real title available?) (available as arXiv preprint) | 2023-02-07 | Paper |
scientific article; zbMATH DE number 7561499 (Why is no real title available?) (available as arXiv preprint) | 2022-07-21 | Paper |
Correction to: ``Dispelling myths on superposition attacks: formal security model and attack analyses Designs, Codes and Cryptography | 2022-06-08 | Paper |
Continuous-variable nonlocality and contextuality Communications in Mathematical Physics | 2022-04-19 | Paper |
Dispelling myths on superposition attacks: formal security model and attack analyses Designs, Codes and Cryptography | 2022-03-31 | Paper |
| Information theoretically secure hypothesis test for temporally unstructured quantum computation (extended abstract) | 2021-12-17 | Paper |
Information theoretically secure hypothesis test for temporally unstructured quantum computation (extended abstract) (available as arXiv preprint) | 2021-12-17 | Paper |
Robustness and device independence of verifiable blind quantum computing New Journal of Physics | 2021-02-19 | Paper |
| scientific article; zbMATH DE number 7311288 (Why is no real title available?) | 2021-02-16 | Paper |
| Information flow in secret sharing protocols | 2021-01-26 | Paper |
Information flow in secret sharing protocols (available as arXiv preprint) | 2021-01-26 | Paper |
Qfactory: classically-instructed remote secret qubits preparation (available as arXiv preprint) | 2020-05-20 | Paper |
Verification of quantum computation: an overview of existing approaches Theory of Computing Systems | 2019-07-04 | Paper |
| Verification of quantum computation and the price of trust | 2017-08-22 | Paper |
Optimised resource construction for verifiable quantum computation Journal of Physics A: Mathematical and Theoretical | 2017-05-18 | Paper |
Blindness and verification of quantum computation with one pure qubit (available as arXiv preprint) | 2017-03-13 | Paper |
Demonstration of Blind Quantum Computing Science | 2017-02-15 | Paper |
Programmable Hamiltonian for one-way patterns Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Twisted graph states for ancilla-driven universal quantum computation Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Universal Blind Quantum Computation 2009 50th Annual IEEE Symposium on Foundations of Computer Science | 2014-07-25 | Paper |
Entanglement, flow and classical simulatability in measurement based quantum computation Lecture Notes in Computer Science | 2014-06-02 | Paper |
Distributed measurement-based quantum computation Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Pauli measurements are universal Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Extended phase map decompositions for unitaries Mathematical Structures in Computer Science | 2013-04-29 | Paper |
Ancilla-driven quantum computation with twisted graph states Theoretical Computer Science | 2012-05-30 | Paper |
Computational Depth Complexity of Measurement-Based Quantum Computation Theory of Quantum Computation, Communication, and Cryptography | 2011-01-28 | Paper |
Measurement-Based and Universal Blind Quantum Computation Formal Methods for Quantitative Aspects of Programming Languages | 2010-07-06 | Paper |
| Extended measurement calculus | 2010-05-14 | Paper |
Parallelizing quantum circuits Theoretical Computer Science | 2009-07-10 | Paper |
Quadratic Form Expansions for Unitaries Theory of Quantum Computation, Communication, and Cryptography | 2009-01-13 | Paper |
The measurement calculus Journal of the ACM | 2008-12-21 | Paper |
The measurement calculus Journal of the ACM | 2008-12-21 | Paper |
The One Way to Quantum Computation Automata, Languages and Programming | 2007-09-11 | Paper |
Statistical zero knowledge and quantum one-way functions Theoretical Computer Science | 2007-06-06 | Paper |
Statistical zero knowledge and quantum one-way functions Theoretical Computer Science | 2007-06-06 | Paper |