(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]