Jannik Dreier

Jannik Dreier is a lecturer at TELECOM Nancy. He obtained his PhD in 2013 from Université de Grenoble on the formal verification of electronic voting and auction protocols. A recognised expert in the fields of protocol security, formal verification and privacy-preserving computations, Jannik is one of the main developers of the Tamarin prover open source verification tool. He co-chairs the Formal Methods for Security Working Group.