Publications

Variational quantum solutions to the Shortest Vector Problem

Albrecht, Martin R., Milo_ Prokop, Yixin Shen, and Petros Wallden. Quantum 7 (2023): 933.

Verifiable blind quantum computing with trapped ions and single photons

Drmota, P., D. P. Nadlinger, D. Main, B. C. Nichol, E. M. Ainley, Dominik Leichtle, A. Mantri et al. arXiv preprint arXiv:2305.02936 (2023).

Quantum cryptography beyond quantum key distribution: variants of quantum oblivious transfer

Andersson, Erika, Lara Stroh, Ittoop V. Puthoor, David Reichmuth, Nikolá Horova, Robert Stárek, Michal Mi_uda, Miloslav Du_ek, and Petros Wallden. In Quantum Computing, Communication, and Simulation III, vol. 12446, pp. 66-71. SPIE, 2023.

The Quantum Effect: A Recipe for QuantumPi

Carette, Jacques, Chris Heunen, Robin Kaarsgaard, and Amr Sabry. arXiv preprint arXiv:2302.01885 (2023).

Duoidally enriched Freyd categories

Heunen, Chris, and Jesse Sigal. In International Conference on Relational and Algebraic Methods in Computer Science, pp. 241-257. Cham: Springer International Publishing, 2023.

Multi-client distributed blind quantum computation with the Qline architecture

Polacchi, Beatrice, Dominik Leichtle, Leonardo Limongi, Gonzalo Carvacho, Giorgio Milani, Nicolò Spagnolo, Marc Kaplan, Fabio Sciarrino, and Elham Kashefi. arXiv preprint arXiv:2306.05195 (2023).

Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security

Cojocaru, Alexandru, Juan Garay, Aggelos Kiayias, Fang Song, and Petros Wallden. Quantum 7 (2023): 944.

Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning

Monbroussou, Léo, Jonas Landman, Alex B. Grilo, Romain Kukla, and Elham Kashefi. arXiv preprint arXiv:2309.15547 (2023).

Establishing shared secret keys on quantum line networks: protocol and security

Doosti, Mina, Lucas Hanouz, Anne Marin, Elham Kashefi, and Marc Kaplan. arXiv preprint arXiv:2304.01881 (2023).

Advances in Algebra and Logic

van Benthem, Johan, Chris Heunen, Helmut Länger, and Davide Emilio Quadrellaro. Advances in Algebra and Logic (2023): 330.

A unifying framework for differentially private quantum algorithms

Angrisani, Armando, Mina Doosti, and Elham Kashefi. arXiv preprint arXiv:2307.04733 (2023).

Learning Quantum Processes with Quantum Statistical Queries

Wadhwa, Chirag, and Mina Doosti. arXiv preprint arXiv:2310.02075 (2023).

Quantum Lock: A Provable Quantum Communication Advantage

Chakraborty, Kaushik, Mina Doosti, Yao Ma, Chirag Wadhwa, Myrto Arapinis, and Elham Kashefi. Quantum 7 (2023): 1014.

Simplifying errors by symmetry and randomisation

Mills, James, Debasis Sadhukhan, and Elham Kashefi. arXiv preprint arXiv:2303.02712 (2023).

Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority

Kapourniotis, Theodoros, Elham Kashefi, Dominik Leichtle, Luka Music, and Harold Ollivier. arXiv preprint arXiv:2303.08865 (2023).

Scalable and Exponential Quantum Error Mitigation of BQP Computations using Verification

Harris, Joseph, and Elham Kashefi. arXiv preprint arXiv:2306.04351 (2023).

Sheaf representation of monoidal categories

Barbosa, Rui Soares, and Chris Heunen. Advances in Mathematics 416 (2023): 108900.

With a Few Square Roots, Quantum Computing is as Easy as _

Carette, Jacques, Chris Heunen, Robin Kaarsgaard, and Amr Sabry. arXiv preprint arXiv:2310.14056 (2023).

Categories of sets with infinite addition

Andrés-Martínez, Pablo, and Chris Heunen. arXiv preprint arXiv:2308.15183 (2023).

Ordered Locales

Heunen, Chris, and Nesta van der Schaaf. arXiv preprint arXiv:2303.03813 (2023).

Compact inverse categories

Cockett, Robin, and Chris Heunen. In Samson Abramsky on Logic and Structure in Computer Science and Beyond, pp. 813-832. Cham: Springer International Publishing, 2023.

A game of quantum advantage: linking verification and simulation

França, Daniel Stilck, and Raul Garcia-Patron. Quantum 6 (2022): 753.

Continuous-variable nonlocality and contextuality

Barbosa, Rui Soares, Tom Douce, Pierre-Emmanuel Emeriau, Elham Kashefi, and Shane Mansfield. Communications in Mathematical Physics 391, no. 3 (2022): 1047-1089.

Contrary Inferences for Classical Histories within the Consistent Histories Formulation of Quantum Theory

Zampeli, Adamantia, Georgios E. Pavlou, and Petros Wallden. arXiv preprint arXiv:2205.15893 (2022).

Progress toward practical quantum cryptanalysis by variational quantum cloning

Coyle, Brian, Mina Doosti, Elham Kashefi, and Niraj Kumar. Physical Review A 105, no. 4 (2022): 042604.

Benchmarking of quantum protocols

Liao, Chin-Te, Sima Bahrani, Francisco Ferreira da Silva, and Elham Kashefi. Scientific Reports 12, no. 1 (2022): 5298.

Weakly measured while loops: peeking at quantum states

Andrés-Martínez, Pablo, and Chris Heunen. Quantum Science and Technology 7, no. 2 (2022): 025007.

Axioms for the category of Hilbert spaces and linear contractions

Heunen, Chris, Andre Kornell, and Nesta van der Schaaf. arXiv preprint arXiv:2211.02688 (2022).

Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations

Kapourniotis, Theodoros, Elham Kashefi, Dominik Leichtle, Luka Music, and Harold Ollivier. arXiv preprint arXiv:2206.00631 (2022).

Practical parallel self-testing of Bell states via magic rectangles

Adamson, Sean A., and Petros Wallden. Physical Review A 105, no. 3 (2022): 032456.

Graph neural network initialisation of quantum approximate optimisation

Jain, Nishant, Brian Coyle, Elham Kashefi, and Niraj Kumar. Quantum 6 (2022): 861.

Axioms for the category of Hilbert spaces

Heunen, Chris, and Andre Kornell. Proceedings of the National Academy of Sciences 119, no. 9 (2022): e2117024119.

On the connection between quantum pseudorandomness and quantum hardware assumptions

Doosti, Mina, Niraj Kumar, Elham Kashefi, and Kaushik Chakraborty. Quantum Science and Technology 7, no. 3 (2022): 035004.

Differential Privacy Amplification in Quantum and Quantum-inspired Algorithms

Angrisani, Armando, Mina Doosti, and Elham Kashefi. arXiv preprint arXiv:2203.03604 (2022).

Mitigating errors by quantum verification and postselection

Mezher, Rawad, James Mills, and Elham Kashefi. Physical Review A 105, no. 5 (2022): 052608.

Quantum local differential privacy and quantum statistical query model

Angrisani, Armando, and Elham Kashefi. arXiv preprint arXiv:2203.03591 (2022).

QEnclave-A practical solution for secure quantum cloud computing

Ma, Yao, Elham Kashefi, Myrto Arapinis, Kaushik Chakraborty, and Marc Kaplan. npj Quantum Information 8, no. 1 (2022): 128.

Quantum information effects

Heunen, Chris, and Robin Kaarsgaard. Proceedings of the ACM on Programming Languages 6, no. POPL (2022): 1-27.

Adiabatic quantum computing with parameterized quantum circuits

Kolotouros, Ioannis, Ioannis Petrongonas, Milo_ Prokop, and Petros Wallden. arXiv preprint arXiv:2206.04373 (2022).

Evolving objective function for improved variational quantum optimization

Kolotouros, Ioannis, and Petros Wallden. Physical Review Research 4, no. 2 (2022): 023225.

Dispelling myths on superposition attacks: formal security model and attack analyses

Music, Luka, Céline Chevalier, and Elham Kashefi. Designs, Codes and Cryptography 90, no. 4 (2022): 881-920.

A continuous variable Born machine

Cepaite, Ieva, Brian Coyle, and Elham Kashefi. Quantum Machine Intelligence 4, no. 1 (2022): 6.

Classically Approximating Variational Quantum Machine Learning with Random Fourier Features

Landman, Jonas, Slimane Thabet, Constantin Dalyac, Hela Mhiri, and Elham Kashefi. arXiv preprint arXiv:2210.13200 (2022).

Quadratic speed-up for simulating Gaussian boson sampling

Quesada, Nicolás, Rachel S. Chadwick, Bryn A. Bell, Juan Miguel Arrazola, Trevor Vincent, Haoyu Qi, and Raúl García. PRX Quantum 3, no. 1 (2022): 010306.

Sheaf representation of monoidal categories

Barbosa, Rui Soares, and Chris Heunen. Advances in Mathematics 416 (2023): 108900.

Universal Properties of Partial Quantum Maps

Martinez, Pablo Andres, Chris Heunen, and Robin Kaarsgaard. In The 19th International Conference on Quantum Physics and Logic 2022. 2022.

Cryptographic approach to quantum metrology

Shettell, Nathan, Elham Kashefi, and Damian Markham. Physical Review A 105, no. 1 (2022): L010401.

The CBH characterisation theorem beyond algebraic quantum theory

Heunen, Chris, and Aleks Kissinger. Information and Computation 285 (2022): 104828.

The Effect of Noise on the Optimality of Variational Algorithms for Quantum Chemistry

Saib, Waheeda Banu, Ismail Akhalwaya, and Petros Wallden. In IEEE International Conference on Quantum Computing and Engineering. 2021.

Secure quantum two-party computation: Impossibility and constructions

Ciampi, Michele, Alexandru Cojocaru, Elham Kashefi, and Atul Mantri. (2021).

Client-server Identification Protocols with Quantum PUF

Doosti, Mina, Niraj Kumar, Mahshid Delavar, and Elham Kashefi. ACM Transactions on Quantum Computing 2, no. 3 (2021): 1-40.

Randomized Benchmarking with Stabilizer Verification and Gate Synthesis

Derbyshire, Ellen, Rawad Mezher, Theodoros Kapourniotis, and Elham Kashefi. arXiv preprint arXiv:2102.13044 (2021).

Efficient construction of quantum physical unclonable functions with unitary t-designs

Kumar, Niraj, Rawad Mezher, and Elham Kashefi. arXiv preprint arXiv:2101.05692 (2021).

Boson sampling in low-depth optical systems

van der Meer, R., S. Huber, P. W. H. Pinkse, R. García-Patrón, and J. J. Renema. arXiv preprint arXiv:2110.05099 (2021).

Localisable monads

Constantin, Carmen, Nuiok Dicaire, and Chris Heunen. arXiv preprint arXiv:2108.01756 (2021).

Verifying bqp computations on noisy devices with minimal overhead

Leichtle, Dominik, Luka Music, Elham Kashefi, and Harold Ollivier. PRX Quantum 2, no. 4 (2021): 040302.

Quantum versus classical generative modelling in finance

Coyle, Brian, Maxwell Henderson, Justin Chan Jin Le, Niraj Kumar, Marco Paini, and Elham Kashefi. Quantum Science and Technology 6, no. 2 (2021): 024013.

Probably approximately correct quantum source coding

Angrisani, Armando, Brian Coyle, and Elham Kashefi. arXiv preprint arXiv:2112.06841 (2021).

Topos quantum theory with short posets

Harding, John, and Chris Heunen. Order 38, no. 1 (2021): 111-125.

Definitions and Security of Quantum Electronic Voting

Arapinis, Myrto, Nikolaos Lamprou, Elham Kashefi, and Anna Pappa. ACM Transactions on Quantum Computing 2, no. 1 (2021): 1-33.

Quantum Physical Unclonable Functions: Possibilities and Impossibilities

Arapinis, Myrto, Mahshid Delavar, Mina Doosti, and Elham Kashefi. Quantum 5 (2021): 475.

A Unified Framework For Quantum Unforgeability

Doosti, Mina, Mahshid Delavar, Elham Kashefi, and Myrto Arapinis. arXiv preprint arXiv:2103.13994 (2021).

Imperfect 1-out-of-2 quantum oblivious transfer: bounds, a protocol, and its experimental implementation

Amiri, Ryan, Robert Stárek, David Reichmuth, Ittoop V. Puthoor, Michal Mi_uda, Ladislav Mi_ta Jr, Miloslav Du_ek, Petros Wallden, and Erika Andersson. PRX Quantum 2, no. 1 (2021): 010335.

Efficient verification of boson sampling

Chabaud, Ulysse, Frédéric Grosshans, Elham Kashefi, and Damian Markham. Quantum 5 (2021): 578.

Quantum advantage from energy measurements of many-body quantum systems

Novo, Leonardo, Juani Bermejo-Vega, and Raúl García-Patrón. Quantum 5 (2021): 465.

Optimal quantum-programmable projective measurements with coherent states

Kumar, Niraj, Ulysse Chabaud, Elham Kashefi, Damian Markham, and Eleni Diamanti. Physical Review Research 3, no. 4 (2021): 043035.

Limitations of optimization algorithms on noisy quantum devices

Stilck França, Daniel, and Raul Garcia-Patron. Nature Physics 17, no. 11 (2021): 1221-1227.

Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States

Colisson, Léo, Frédéric Grosshans, and Elham Kashefi. arXiv preprint arXiv:2104.04742 (2021).

Analog quantum simulation of non-Condon effects in molecular spectroscopy

Jnane, Hamza, Nicolas PD Sawaya, Borja Peropadre, Alan Aspuru-Guzik, Raul Garcia-Patron, and Joonsuk Huh. ACS Photonics 8, no. 7 (2021): 2007-2016.

Advances in quantum cryptography

Pirandola, Stefano, Ulrik L. Andersen, Leonardo Banchi, Mario Berta, Darius Bunandar, Roger Colbeck, Dirk Englund et al., and Petros Wallden, Advances in optics and photonics 12, no. 4 (2020): 1012-1236.

Quantum certification and benchmarking

Eisert, Jens, Dominik Hangleiter, Nathan Walk, Ingo Roth, Damian Markham, Rhea Parekh, Ulysse Chabaud, and Elham Kashefi. Nature Reviews Physics 2, no. 7 (2020): 382-390.

Security Limitations of Classical-Client Delegated Quantum Computing

Badertscher, Christian, Alexandru Cojocaru, Léo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, and Petros Wallden. In International Conference on the Theory and Application of Cryptology and Information Security, pp. 667-696. Cham: Springer International Publishing, 2020.

Tensor-restriction categories

Heunen, Chris, and J. S. Lemay. arXiv preprint arXiv:2009.12432 (2020).

Monoidal characterisation of groupoids and connectors

Gran, Marino, Chris Heunen, and Sean Tull. Topology and its Applications 273 (2020): 106966.

The Born supremacy: quantum advantage and training of an Ising Born machine

Coyle, Brian, Daniel Mills, Vincent Danos, and Elham Kashefi. npj Quantum Information 6, no. 1 (2020): 60.

Quantum magic rectangles: Characterization and application to certified randomness expansion

Adamson, Sean A., and Petros Wallden. Physical Review Research 2, no. 4 (2020): 043317.

Certified randomness from steering using sequential measurements

Coyle, Brian, Elham Kashefi, and Matty J. Hoban. Cryptography 3, no. 4 (2019): 27.

Randomized benchmarking in the analogue setting

Derbyshire, Ellen, J. Yago Malo, A. J. Daley, Elham Kashefi, and Petros Wallden. Quantum Science and Technology 5, no. 3 (2020): 034001.

Tensor topology

Heunen, Chris, Pau Enrique Moliner, and Sean Tull. Journal of pure and applied algebra 224, no. 10 (2020): 106378.

Bennett and Stinespring, Together at Last

Heunen, Chris, and Robin Kaarsgaard. arXiv preprint arXiv:2102.08711 (2021).

Regimes of classical simulability for noisy Gaussian boson sampling

Qi, Haoyu, Daniel J. Brod, Nicolás Quesada, and Raúl García-Patrón. Physical review letters 124, no. 10 (2020): 100502.

Securing Quantum Computations in the NISQ Era

Kashefi, Elham, Dominik Leichtle, Luka Music, and Harold Ollivier. arXiv preprint arXiv:2011.10005 (2020).

Public-Key Cryptography-PKC 2020

Kiayias, Aggelos, Markulf Kohlweiss, Petros Wallden, and Vassilis Zikas. Public-Key Cryptography-PKC 2020. Springer International Publishing, 2020.

Building trust for continuous variable quantum states

Chabaud, Ulysse, Tom Douce, Frédéric Grosshans, Elham Kashefi, and Damian Markham. arXiv preprint arXiv:1905.12700 (2019).

Methods for classically simulating noisy networked quantum architectures

Vankov, Iskren, Daniel Mills, Petros Wallden, and Elham Kashefi. Quantum Science and Technology 5, no. 1 (2019): 014001.

The Bitcoin Backbone Protocol Against Quantum Adversaries

Cojocaru, Alexandru, Juan Garay, Aggelos Kiayias, Fang Song, and Petros Wallden. Cryptology ePrint Archive (2019).

Ultimate capacity limit of a multi-span link with phase-insensitive amplification

Jarzyna, Marcin, Raúl García-Patrón, and Konrad Banaszek. In 45th European Conference on Optical Communication (ECOC 2019), pp. 1-4. IET, 2019.

Probabilistic fault-tolerant universal quantum computation and sampling problems in continuous variables

Douce, Tom, Damian Markham, Elham Kashefi, Peter van Loock, and Giulia Ferrini. 2019. Physical Review A 99 (1).

_

Verification of Quantum Computation: An Overview of Existing Approaches

Gheorghiu, Alexandru, Theodoros Kapourniotis, and Elham Kashefi. Theory of computing systems 63 (2019): 715-808.

Boolean Subalgebras of Orthoalgebras

Harding, John, Chris Heunen, Bert Lindenhovius, and Mirko Navara. Order 36 (2019): 563-609.

Cyber security in the quantum era

Petros Wallden, Elham Kashefi, Commun. ACM 62, 4 (2019)

Simulating boson sampling in lossy architectures

García-Patrón, Raúl, Jelmer J. Renema, and Valery Shchesnovich. Quantum 3 (2019): 169.

Ontological models for quantum theory as functors

Gheorghiu, Alexandru, and Chris Heunen. arXiv preprint arXiv:1905.09055 (2019).

Domains of commutative C*-subalgebras

Heunen, Chris, and Bert Lindenhovius. Mathematical Structures in Computer Science 29, no. 7 (2019): 972-1006.

Automated distribution of quantum circuits via hypergraph partitioning

Andres-Martinez, Pablo, and Chris Heunen. Physical Review A 100, no. 3 (2019): 032308.

Classically simulating near-term partially-distinguishable and lossy boson sampling

Moylett, Alexandra E., Raúl García-Patrón, Jelmer J. Renema, and Peter S. Turner. Quantum Science and Technology 5, no. 1 (2019): 015001.

Boson sampling with linear loss is classically simulable

Renema, J. J., V. Shchesnovich, and R. Garcia-Patron. In Quantum Information and Measurement, pp. F3A-3. Optica Publishing Group, 2019.

Categories and Quantum Informatics: Complementarity

Kammar, Ohad, S. Staton, H. Yang, Y. Cai, K. Ostermann, M. Vákár, A. _cibior, S. K. Moss, C. Heunen, and Z. Ghahramani. Proceedings of the ACM on Programming Languages 2, no. POPL (2018).

Efficient unconditionally secure signatures using universal hashing

Amiri, Ryan, Aysajan Abidin, Petros Wallden, and Erika Andersson. In Applied Cryptography and Network Security: 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings 16, pp. 143-162. Springer International Publishing, 2018.

A simple protocol for fault tolerant verification of quantum computation

Gheorghiu, Alexandru, Matty J Hoban, and Elham Kashefi.. Quantum Science and Technology 4, no. 1 (26 November 2018): 015009.

The semantic structure of quasi-Borel spaces

Heunen, Chris, Ohad Kammar, Sam Staton, Sean Moss, Matthijs Vákár, Adam _cibior, and Hongseok Yang. In PPS Workshop on Probabilistic Programming Semantics. 2018.

Optimal quantum-programmable projective measurement with linear optics

Chabaud, Ulysse, Eleni Diamanti, Damian Markham, Elham Kashefi, and Antoine Joux.. Physical Review A 98, no. 6 (14 December 2018): 062318.

Quantum advantage from sequential-transformation contextuality

Mansfield, Shane, and Elham Kashefi. Physical Review Letters 121, no. 23 (3 December 2018): 230401.

Reversible effects as inverse arrows

Heunen, Chris, Robin Kaarsgaard, and Martti Karvonen. Electronic Notes in Theoretical Computer Science 341 (2018): 179-199.

The classical complexity of boson sampling

Clifford, Peter, and Raphaël Clifford. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 146-155. Society for Industrial and Applied Mathematics, 2018.

Classical simulability of noisy boson sampling

Renema, Jelmer, Valery Shchesnovich, and Raul Garcia-Patron. arXiv preprint arXiv:1809.01953 (2018).

Tensor network states in time-bin quantum optics

Lubasch, Michael, Antonio A. Valido, Jelmer J. Renema, W. Steven Kolthammer, Dieter Jaksch, Myungshik S. Kim, Ian Walmsley, and Raúl García-Patrón. Physical Review A 97, no. 6 (2018): 062304.

Divergence-free approach for obtaining decompositions of quantum-optical processes

Sabapathy, K. K., J. S. Ivan, R. García-Patrón, and R. Simon. Physical Review A 97, no. 2 (2018): 022339.

Theoretical and practical aspects of verification of quantum computers

Naveh, Yehuda, Elham Kashefi, James R. Wootton, and Koen Bertels. In 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 721–30. Dresden: IEEE, 2018.

Frobenius structures over Hilbert C*-modules

Heunen, Chris, and Manuel L. Reyes. Communications in Mathematical Physics 361, no. 2 (2018): 787-824.

One-sided device-independent certification of unbounded random numbers

Coyle, Brian, Matty J. Hoban, and Elham Kashefi. Electronic Proceedings in Theoretical Computer Science 273 (2 July 2018): 14–26.

The category of matroids

Heunen, Chris, and Vaia Patta. Applied Categorical Structures 26 (2018): 205-237.

Limits in dagger categories

Heunen, Chris, and Martti Karvonen. arXiv preprint arXiv:1803.06651 (2018).

Quantum enhancement of randomness distribution

Garcia-Patron, Raul, William Matthews, and Andreas Winter. IEEE Transactions on Information Theory 64, no. 6 (2018): 4664-4673.

QFactory: Classically-Instructed Remote Secret Qubits Preparation

Cojocaru, Alexandru, Léo Colisson, Elham Kashefi, and Petros Wallden. 2019. Lecture Notes in Computer Science, January, 615–45.

_

Unconditionally verifiable blind quantum computation

Fitzsimons, Joseph F., and Elham Kashefi. Physical Review A 96, no. 1 (5 July 2017): 012303.