Martin Gagné

According to our database, Martin Gagné authored at least 14 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Mobile Mixer: Exchanging Ideas for Mobile App Development Courses.

Martin Gagné

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2020

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

2016

Automated Proofs of Block Cipher Modes of Operation.

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini

J. Autom. Reason., 2016

2015

Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext.

Michael Backes, Martin Gagné, Sri Aravinda Krishnan Thyagarajan

Proceedings of the 3rd International Workshop on Security in Cloud Computing, 2015

2013

Automated Security Proofs for Almost-Universal Hash for MAC verification.

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech

IACR Cryptol. ePrint Arch., 2013

Using mobile device communication to strengthen e-Voting protocols.

Michael Backes, Martin Gagné, Malte Skoruppa

Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society, 2013

2012

Short Pairing-Efficient Threshold-Attribute-Based Signature.

Martin Gagné, Shivaramakrishnan Narayan, Reihaneh Safavi-Naini

Proceedings of the Pairing-Based Cryptography - Pairing 2012, 2012

2011

Identity-Based Encryption.

Martin Gagné

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Automated Verification of Block Cipher Modes of Operation, an Improved Method.

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini

Proceedings of the Foundations and Practice of Security, 2011

2010

Threshold Attribute-Based Signcryption.

Martin Gagné, Shivaramakrishnan Narayan, Reihaneh Safavi-Naini

Proceedings of the Security and Cryptography for Networks, 7th International Conference, 2010

Privacy preserving EHR system using attribute-based infrastructure.

Shivaramakrishnan Narayan, Martin Gagné, Reihaneh Safavi-Naini

Proceedings of the 2nd ACM Cloud Computing Security Workshop, 2010

2009

Automated Security Proof for Symmetric Encryption Modes.

Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini

Proceedings of the Advances in Computer Science, 2009

2008

A content-driven access control system.

Jessica Staddon, Philippe Golle, Martin Gagné, Paul Rasmussen

Proceedings of the IDtrust 2008, 2008

2005

Identity-Based Encryption.

Martin Gagné

Proceedings of the Encyclopedia of Cryptography and Security, 2005