According to our database1, Martin Gagné authored at least 12 papers between 2008 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Automated Proofs of Block Cipher Modes of Operation.
J. Autom. Reasoning, 2016
Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext.
Proceedings of the 3rd International Workshop on Security in Cloud Computing, 2015
Automated Security Proofs for Almost-Universal Hash for MAC verification.
IACR Cryptology ePrint Archive, 2013
Using mobile device communication to strengthen e-Voting protocols.
Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society, 2013
Automated Security Proofs for Almost-Universal Hash for MAC Verification.
Proceedings of the Computer Security - ESORICS 2013, 2013
Short Pairing-Efficient Threshold-Attribute-Based Signature.
Proceedings of the Pairing-Based Cryptography - Pairing 2012, 2012
Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011
Automated Verification of Block Cipher Modes of Operation, an Improved Method.
Proceedings of the Foundations and Practice of Security, 2011
Threshold Attribute-Based Signcryption.
Proceedings of the Security and Cryptography for Networks, 7th International Conference, 2010
Privacy preserving EHR system using attribute-based infrastructure.
Proceedings of the 2nd ACM Cloud Computing Security Workshop, 2010
Automated Security Proof for Symmetric Encryption Modes.
Proceedings of the Advances in Computer Science, 2009
A content-driven access control system.
Proceedings of the IDtrust 2008, 2008