Proof Mechanization | justinesauvagehttps://jusauvage.github.io/justinesauvage/tags/proof-mechanization/Proof MechanizationHugo Blox Builder (https://hugoblox.com)en-usSat, 01 Aug 2026 00:00:00 +0000https://jusauvage.github.io/justinesauvage/media/icon_hu68170e94a17a2a43d6dcb45cf0e8e589_3079_512x512_fill_lanczos_center_3.pngProof Mechanizationhttps://jusauvage.github.io/justinesauvage/tags/proof-mechanization/Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocolhttps://jusauvage.github.io/justinesauvage/publication/paper-2026/Sat, 01 Aug 2026 00:00:00 +0000https://jusauvage.github.io/justinesauvage/publication/paper-2026/