Verifiable Verification in Cryptographic Protocols (RWC 2024)

Verifiable Verification in Cryptographic Protocols is a talk presented by Felix Günther at RWC 2024. This was the first talk in a session on verifying implementations, chaired by Bo-Yin Yang.
More information, including links to papers and slides, is available at rwc.iacr.org/2024/program.php