Developing a Quantum Crypto Theorem Prover from Scratch (Invited Talk).

Dominique Unruh

Browse the full ITP paper archive.