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

David Baelde, Adrien Koutsos, Justine Sauvage
March 2026
PDF
Type
Conference paper
Publication
To appear in Usenix 2026 - 35th Usenix security symposium