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

HAL (Le Centre pour la Communication Scientifique Directe) 2026 Open access

Read full text
Authors: David Baelde, Adrien Koutsos, Justine Sauvage
Cited by: 0

Fields of Study & Subjects

Cryptography and Data Security Internet Traffic Analysis and Secure E-voting Advanced Authentication Protocols Security

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
12 August 2026
Language
EN