Sotabase

Career

· Professor, California Institute of Technology2014–
· Postdoctoral Researcher, Massachusetts Institute of Technology2011–2013
· PhD in Computer Science, University of California, Berkeley2007–2011
· MS in Computer Science, University Paris 72006–2007
· BS in Computer Science, École Normale Supérieure2003–2007
· Professor, California Institute of Technology

Publications (141)

Fully device independent quantum key distribution
Communications of the ACM · 2012
450
cited
Sieve algorithms for the shortest vector problem are practical
Journal of Mathematical Cryptology · 2008
266
cited
Practical device-independent quantum cryptography via entropy accumulation
Nature Communications · 2018
232
cited
MIP* = RE
Communications of the ACM · 2021
178
cited
Good Quantum LDPC Codes with Linear Time Decoders
Symposium on the Theory of Computing · 2022
165
cited
A Cryptographic Test of Quantumness and Certifiable Randomness from a Single Quantum Device
IEEE Annual Symposium on Foundations of Computer Science · 2018
163
cited
Trevisan's Extractor in the Presence of Quantum Side Information
SIAM journal on computing (Print) · 2009
152
cited
A polynomial time algorithm for the ground state of one-dimensional gapped local Hamiltonians
Nature Physics · 2015
135
cited
Guest column: the quantum PCP conjecture
SIGA · 2013
130
cited
Simple and tight device-independent security proofs
SIAM journal on computing (Print) · 2016
121
cited
Entangled Games are Hard to Approximate
2008 49th Annual IEEE Symposium on Foundations of Computer Science · 2007
109
cited
Rigorous RG Algorithms and Area Laws for Low Energy Eigenstates in 1D
Communications in Mathematical Physics · 2016
91
cited
A Multi-prover Interactive Proof for NEXP Sound against Entangled Provers
IEEE Annual Symposium on Foundations of Computer Science · 2012
90
cited
Certifiable quantum dice: or, true random number generation secure against quantum adversaries
Symposium on the Theory of Computing · 2012
87
cited
Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources
IACR Cryptology ePrint Archive · 2017
83
cited
Computationally-Secure and Composable Remote State Preparation
IEEE Annual Symposium on Foundations of Computer Science · 2019
77
cited
A quantum linearity test for robustly verifying entanglement
Symposium on the Theory of Computing · 2016
75
cited
Certifiable quantum dice
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences · 2012
69
cited
More nonlocality with less entanglement
2010
66
cited
Quantum XOR Games
2013 IEEE Conference on Computational Complexity · 2012
66
cited
Sotabase