Home

Publications

Teaching

Contact

I am a PhD student at VERIMAG, Grenoble in the DCS team under the supervision of Yassine Lakhnech and Pascal Lafourcade. I'm working on formal verification of cryptographic applications and protocols in the symbolic and computational model. In particular, I am interested in voting and auction protocols.

Previously I worked with Florian Kerschbaum at SAP Research Karlsruhe on secure and efficient multi party optimization, secure outsourcing and leakage quantification. This was part of the SecureSCM project.

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A Formal Taxonomy of Privacy in Voting Protocols. First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), 2012. PDF - Technical Report

Jannik Dreier and Florian Kerschbaum. Practical Secure and Efficient Multiparty Linear Programming Based on Problem Transformation. Third IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT'11), 2011. Best Paper Award.

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols. 4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), 2011. PDF - Technical Report

Jannik Dreier and Florian Kerschbaum. Practical Secure and Efficient Multiparty Linear Programming Based on Problem Transformation. Cryptology ePrint Archive, Report 2011/108, 2011.

Jannik Dreier. Privacy-Preserving Linear Programming in the Cloud. Master's Thesis, École nationale supérieure d'informatique et de mathématiques appliquées (ENSIMAG) and Karlsruhe Institute of Technology (KIT), 2010.

2011/2012:

• UJF-DLST: TD & TP INF121 : Algoritmique et Programmation Fonctionelle (Algorithms and functional programming in Caml, first year bachelor)
• UJF-UFR IM2AG: TP GINF41C2 : Systèmes de base, partie Réseaux (Lab exercices on networks, first year master)

2010/2011:

• UJF-DLST: TD INF122 : Méthodes informatiques: compléments théoriques et techniques (Introduction to formal logic and reasoning, first year bachelor)

Education

• Since 2010 PhD student, Université de Grenoble, France
• 2009-2010 Master de Recherche (Master of Research), speciality "Distributed, embedded, mobile, interactive and parallel systems", Mention «Très bien» ("very good"), École nationale supérieure d'informatique et de mathématiques appliquées (ENSIMAG) and Université Joseph Fourier (UJF), Grenoble, France
• 2008-2010 Diplôme d'Ingénieur (French engineering degree) in computer science, Mention «Très bien» ("very good"), ENSIMAG, Grenoble, France
• 2005-2010 Diplom-Informatiker (Master's equivalent) "mit Auszeichnung" (with distinction), Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany