Welcome! I am a graduate student working in the Security and Privacy under the supervision of Matteo Maffei. My fields of interest include cryptographic protocols, formal verification and electronic voting.