Jannik DREIER

Maître de Conférences (Associate Professor) at Université de Lorraine.

Teaching at TELECOM Nancy and research in the PESTO team at LORIA.

 

Research

  • protocol security
  • (computer-assisted) formal verification of security protocols
  • theoretical foundations (process algebra, rewriting, …)
  • privacy-preserving computations and applications

I am co-developing the Tamarin prover.

I am co-chairing the Working Group on Formal Methods for Security.

 

Teaching

Current (at TELECOM Nancy):

  • Introduction to Cryptography
  • Introduction to Theoretical Computer Science
  • Advanced Cryptography
  • Protocol Security and Verification

Past: