Martin Gagné

I'm currently a postdoctoral fellow at the Information Security and Cryptography Group at Saarland University.

Before joining Saarland University, I have been a research engineer (whatever that's supposed to mean -- basically, I did research and I taught) at the Laboratoire VERIMAG at l'Université Joseph Fourier, and a postdoctoral fellow at the University of Calgary in the iCORE Information Security Laboratory.

Research Interests

Automated verification of cryptographic protocols: I try to teach computers how to produce or verify proofs of cryptographic protocols. It's not easy. Computers are stupid. We have had a fair bit of success so far with symmetric encryption based on block ciphers, are currently working on message authentication codes. We hope to move on to public key encryption soon. I'm currently working on the verification of the e-voting protocol developed by the Norwegian government for their public elections.

Pairing-based cryptography: While in Calgary, I did research in efficient cryptographic protocols using pairings. I was particularly interested in making efficient attribute-based encryption and signature algorithms, either by improving on previously constructed protocols, or by specializing their functionality. I'm currently trying to do away with the paring operation in identity-based and attribute-based cryptosystems by using hardware tokens.


I am not teaching any courses at the moment. I refer you to my cv for the details on my past teaching.

Job Search

It's application season again, so I'm sending a lot of curriculum vitae to a lot of universities. Here are quick links to my cv, teaching philosophy and preferences and statement of research interests and projects, and a link to my publication list.


I received my Ph.D in Computer Science from the University of California, Davis, in 2008. My supervisor was Matthew Franklin. Before that, I got my Master's degree in Combinatorics and Optimization (their cryptography group is in there for some reason) at the University of Waterloo. I did my undergrad at McGill University in Mathematics and Computer Science.


Postal Adress: Martin Gagné
Universität des Saarlandes
Campus, Gebäude E 1 1, Raum 2.14
Saarbrücken, 66123
Tel: +49 -681-302 57366
E-mail: lastnamewithoutaccent{at}cs{dot}uni-saarland{dot}de