Speaker: Oskar Goldhahn

Abstract: We present some of the machinery used to formally verify the correct implementation of classical algorithms, including post-quantum cryptography, and how this can be extended to algorithms that use quantum computers.