Martin Gagné

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 4

Top Topics

Automated Theorem Provers

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Martin Gagné
Mobile Mixer: Exchanging Ideas for Mobile App Development Courses. SIGCSE (2) (2023)
Cécilia Neige, Clémentine Brun, Martin Gagné, Laurent J. Bouyer, Catherine Mercier
Do nociceptive stimulation intensity and temporal predictability influence pain-induced corticospinal excitability modulation? NeuroImage 216 (2020)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
Automated Proofs of Block Cipher Modes of Operation. J. Autom. Reason. 56 (1) (2016)
Michael Backes, Martin Gagné, Sri Aravinda Krishnan Thyagarajan
Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext. SCC@ASIACCS (2015)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech
Automated Security Proofs for Almost-Universal Hash for MAC verification. IACR Cryptol. ePrint Arch. 2013 (2013)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech
Automated Security Proofs for Almost-Universal Hash for MAC Verification. ESORICS (2013)
Michael Backes, Martin Gagné, Malte Skoruppa
Using mobile device communication to strengthen e-Voting protocols. WPES (2013)
Martin Gagné, Shivaramakrishnan Narayan, Reihaneh Safavi-Naini
Short Pairing-Efficient Threshold-Attribute-Based Signature. Pairing (2012)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
Automated Verification of Block Cipher Modes of Operation, an Improved Method. FPS (2011)
Martin Gagné, Shivaramakrishnan Narayan, Reihaneh Safavi-Naini
Threshold Attribute-Based Signcryption. SCN (2010)
Shivaramakrishnan Narayan, Martin Gagné, Reihaneh Safavi-Naini
Privacy preserving EHR system using attribute-based infrastructure. CCSW (2010)
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
Automated Security Proof for Symmetric Encryption Modes. ASIAN (2009)
Jessica Staddon, Philippe Golle, Martin Gagné, Paul Rasmussen
A content-driven access control system. IDtrust (2008)