Formal Methods

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

Aug 1, 2026

Foundations for Cryptographic Reductions in CCSA Logics

Jan 1, 2024