Attempting to re-implement ProVerif in Scala - An introduction to protocol verificationOct 5, 2024Simple intro to protocol verification with a basic implementation of the ProVerif verifierRead moreOct 5, 2024
Introduction to e-voting schemesDec 15, 2022Explanation of how a voting system can be publicly verifiable along with a simple example of implementationRead moreDec 15, 2022