Quantum Cryptography and Autoformalization in Lean
We formalized an end-to-end security proof of BB84 in the Lean proof assistant, down to the mathematical axioms: composable finite-key security of entanglement-based BB84 against …
•
1 min read
AI settles a decade-old quantum-optimization conjecture, with a machine-verified proof
We resolved the Farhi–Goldstone–Gutmann conjecture on the optimal performance of QAOA on the ring of disagrees, open since 2014. The proof was proposed by a large language model …
•
1 min read
Reduced-state embedding for quantum cryptography published in Newton
Our paper on reduced-state embedding for quantum cryptography, which builds error correction into the choice of high-dimensional QKD states, is published in Newton.
•
1 min read
Popular science article on quantum-secured AI (מדע גדול בקטנה)
Popular-science feature (in Hebrew) on our quantum-secured AI work — using quantum optics to guarantee privacy in cloud-based AI computation. בינה מלאכותית מאובטחת קוונטית.
•
1 min read
Paper on RF in-physics computing published in Science Advances
Our paper on disaggregated machine learning via in-physics computing at radio frequency is published in Science Advances.
•
1 min read
Quantum-Secure Deep Learning published in Physical Review X
Our paper on quantum-secure multiparty deep learning is published in Physical Review X. We show how quantum mechanics can provide information-theoretic security for cloud-based AI …
•
1 min read
Joining the Technion as Assistant Professor
Excited to announce that I will be joining the Technion's Andrew and Erna Viterbi Faculty of Electrical & Computer Engineering as an Assistant Professor. I'm building a new lab and …
•
1 min read
MIT News covers our quantum security work
Our work on quantum-secure deep learning was featured by MIT News, Tech Briefs, ScienceDaily, Phys.org, and SciTechDaily.
•
1 min read
Popular science article on teaching quantum mechanics (הידען)
הוראת קוונטים — סופרפוזיציה של ניסוי ותאוריה. An article about a hands-on quantum physics teaching lab where students recreate landmark quantum experiments.
•
1 min read