Visiting Assistant Professor of Computer Science
Ph.D., Computer Science, University of California, Davis, September 2008
M. Math, Combinatorics and Optimization, University of Waterloo, October 2002
B. Sc., Mathematics and Computer Science, McGill University, June 2001
- Cryptography, provable security, pairing-based cryptography
- Automated verification of cryptographic protocols
My main research interest is the design of efficient cryptographic protocols using pairings. I am 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 have also done a bit of work in electronic voting, and I would be interested in making secure electronic voting protocols more user-friendly, and find how to convince users that the protocol provides the security they expect.
I also 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 also tried to verify security properties of an actual implementation of an e-voting protocol developed by the Norwegian government for their public elections, but unfortunately, they canned the project before we could get interesting results.
M. Gagné, Y. Lakhnech, P. Lafourcade and R. Safavi-Naini. Automated Proofs of Block Cipher Modes of Operation. Journal of Automated Reasoning, to appear in forthcoming issue.
M. Backes, M. Gagné and T. Krishnan. Fully Secure Inner-Product Proxy Re-Encryption with constant size Ciphertext. In Proceedings of the 3rd International Workshop on Security in Cloud Computing, SCC@ASIACCS '15, pages 31--40, 2015.
M. Backes, M. Gagné and M. Skoruppa. Using Mobile Device Communication to Strengthen E-voting Protocols. In Proceedings of the 2013 ACM Workshop on Privacy in the Electronic Society -- WPES 2013, pages 237-241, 2013.
M. Gagné, P. Lafourcade, Y. Lakhnech. Automated Security Proofs for Almost-Universal Hash for MAC Verification. In Proceedings of the 18th European Symposium on Research in Computer Security -- ESORICS 2013, LNCS 8134, pp. 291-308, 2013.
See my Curriculum Vitae for the full list.