Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel

David Baelde, Antoine Dallon, Stéphanie Deulaune, Charlie Jacomme, Adrien Koutsos

April 2026