Identity-Based Encryption. - Martin Gagné (Encyclopedia of Cryptography and Security, 2005)

A content-driven access control system. - Jessica Staddon; Philippe Golle; Martin Gagné; Paul Rasmussen (IDtrust, 2008)

Automated Security Proof for Symmetric Encryption Modes. - Martin Gagné; Pascal Lafourcade 001; Yassine Lakhnech; Reihaneh Safavi-Naini (ASIAN, 2009)

Privacy preserving EHR system using attribute-based infrastructure. - Shivaramakrishnan Narayan; Martin Gagné; Reihaneh Safavi-Naini (CCSW, 2010)

Threshold Attribute-Based Signcryption. - Martin Gagné; Shivaramakrishnan Narayan; Reihaneh Safavi-Naini (SCN, 2010)

Automated Verification of Block Cipher Modes of Operation, an Improved Method. - Martin Gagné; Pascal Lafourcade 001; Yassine Lakhnech; Reihaneh Safavi-Naini (FPS, 2011)

Identity-Based Encryption. - Martin Gagné (Encyclopedia of Cryptography and Security (2nd Ed.), 2011)

Short Pairing-Efficient Threshold-Attribute-Based Signature. - Martin Gagné; Shivaramakrishnan Narayan; Reihaneh Safavi-Naini (Pairing, 2012)

Using mobile device communication to strengthen e-Voting protocols. - Michael Backes 001; Martin Gagné; Malte Skoruppa (WPES, 2013)

Automated Security Proofs for Almost-Universal Hash for MAC verification. - Martin Gagné; Pascal Lafourcade 001; Yassine Lakhnech (IACR Cryptol. ePrint Arch., 2013)

Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext. - Michael Backes 001; Martin Gagné; Sri Aravinda Krishnan Thyagarajan (SCC@ASIACCS, 2015)

Automated Proofs of Block Cipher Modes of Operation. - Martin Gagné; Pascal Lafourcade 001; Yassine Lakhnech; Reihaneh Safavi-Naini (J. Autom. Reason., 2016)

Do nociceptive stimulation intensity and temporal predictability influence pain-induced corticospinal excitability modulation? - Cécilia Neige; Clémentine Brun; Martin Gagné; Laurent J. Bouyer; Catherine Mercier (NeuroImage, 2020)

Mobile Mixer: Exchanging Ideas for Mobile App Development Courses. - Martin Gagné (SIGCSE (2), 2023)