Martin Gagné

According to our database1, Martin Gagné authored at least 12 papers between 2008 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Automated Proofs of Block Cipher Modes of Operation.
J. Autom. Reasoning, 2016

2015
Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext.
Proceedings of the 3rd International Workshop on Security in Cloud Computing, 2015

2013
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

2012
Short Pairing-Efficient Threshold-Attribute-Based Signature.
Proceedings of the Pairing-Based Cryptography - Pairing 2012, 2012

2011
Identity-Based Encryption.
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

2010
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

2009
Automated Security Proof for Symmetric Encryption Modes.
Proceedings of the Advances in Computer Science, 2009

2008
A content-driven access control system.
Proceedings of the IDtrust 2008, 2008


  Loading...