(See Google Scholar for a more reliably up-to-date list)

- Quantum trapdoor functions from classical one-way functions [arXiv]

- Quantum depth in the random oracle model [arXiv]

- Deniable Encryption in a Quantum World [arXiv]

- Hidden Cosets and Applications to Unclonable Cryptography [arXiv]

- One-way Functions Imply Secure Computation in a Quantum World [arXiv]

- On the Round Complexity of Secure Quantum Computation [arXiv]

- Device-independent quantum key distribution from computational assumptions [arXiv]

- Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [arXiv]

- A quantum money solution to the blockchain scalabilty problem [arXiv]

- Non-interactive zero-knowledge arguments for QMA, with preprocessing [arXiv]

- Additive entanglement measures cannot be more than asymptotically continuous [arXiv]

- A two-player dimension witness based on embezzlement, and an elementary proof of the non-closure

- Smart-contracts meet quantum cryptography [arXiv]

- Unconditional separation of finite and infinite-dimensional quantum correlations [arXiv]

- Generalization of the Clauser-Horne-Shimony-Holt inequality self-testing maximally entangled states of any local dimension [arXiv]

- Robust self-testing for linear constraint system games [arXiv]

- Verifier-on-a-leash: new schemes for verifiable delegated quantum computation, with quasilinear resources [arXiv]

- Separation of finite and infinite-dimensional quantum correlations, with infinite question or answer sets [arXiv]

- Self-testing multipartite entangled state through projections onto two systems [arXiv]

- All pure bipartite entangled states can be self-tested [arXiv]

- Parallel self-testing of (tilted) EPR pairs via copies of (tilted) CHSH and the magic square game [arXiv]