Florian Moser

My research focuses on provably secure Internet Voting, with a heightened interest in the Swiss setting. For symbolic proofs, I use ProVerif.

I obtained my PhD under supervision of Véronique Cortier and Alexandre Debant at Inria Nancy in the Pesto team. My Bachelor's and Master's were at at ETH Zürich. Besides a researcher, I am an experienced full-stack software developer and build applications for the University of Zürich and many others.

This page will no longer be updated. You can find my recent research activity here, and more about me on famoser.ch.