Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol

David Baelde, Adrien Koutsos, Justine Sauvage
August 2026
PDF
Type
Conference paper
Publication
35th Usenix security symposium, Distinguished Artifact Award