Tag Archives: quantum verification

Lecture notes on the Mahadev verification protocol

As announced earlier I am currently teaching a course on “interactive proofs with quantum devices” in Paris. The course is proceeding apace, even though the recent lockdown order in France means that we had to abandon our beautiful auditorium at … Continue reading

Posted in Quantum, Science, teaching, Uncategorized | Tagged , | 3 Comments

The cryptographic leash

This post is meant as a companion to an introductory post I wrote on the blog of Caltech’s IQIM (Institute for Quantum Information and Matter), of which I am a member. The post describes a “summer cluster” on quantum computation … Continue reading

Posted in Conferences, QCrypto, Simons | Tagged , , | 1 Comment