Paper-Conference

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

Foundations for Cryptographic Reductions in CCSA Logics

Termination of Ethereum's Smart Contracts