Benjamin Voisin
Back

Dolev-Yao-Model-Guided Fuzzing of E-Voting Protocols