Publications

David Baelde, Adrien Koutsos, Justine Sauvage (2026). Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol. In Usenix'26.
PDF Cite
David Baelde, Adrien Koutsos, Justine Sauvage (2024). Foundations for Cryptographic Reductions in CCSA Logics. In CCS.
PDF Cite DOI
Thomas Genet, Thomas P. Jensen, Justine Sauvage (2020). Termination of Ethereum's Smart Contracts. In ScitePress.
PDF Cite DOI