I'm a visiting professor in the
Computer Science Department
at
Swarthmore College. I
received my Ph.D. in Computer Science in 2008 from the
University of California, Davis.
My general research area is cryptography and automated verification of cryptographic protocols.
Current Schedule
Spring 2018 Schedule
|
CS35 Data Structures and Algorithms |
Tu-Th 13:15-14:30 |
Sci Center 199 |
CS35B Lab |
M 1:15-2:45 |
Sci Center 256 |
CS35C Lab |
M 3:00-4:30 |
Sci Center 256 |
Office Hours |
Tu 3:00-4:00 W 2:00-3:30 F 2:00-3:30 |
Sci Center 270 |
Research, Grading, and, you know, stuff... (Limited availability) |
Monday and Friday morning |
|
Past Courses:
At Swarthmore College
CS31:
| Introduction to Computer Systems
|
CS35:
| Data Structures and Algorithms (Fall 2017)
|
At Wheaton College
Research
Automated verification of cryptographic protocols: I try to teach computers how to produce or verify proofs of cryptographic protocols. It's not easy. Computers are stupid. We have had a fair bit of success so far with symmetric encryption based on block ciphers, are currently working on message authentication codes. We hope to move on to public key encryption soon. I'm currently working on the verification of the e-voting protocol developed by the Norwegian government for their public elections.
Pairing-based cryptography: While in Calgary, I did research in efficient cryptographic protocols using pairings. I was particularly interested in making efficient attribute-based encryption and signature algorithms, either by improving on previously constructed protocols, or by specializing their functionality. I'm currently trying to do away with the paring operation in identity-based and attribute-based cryptosystems by using hardware tokens.
Selected Publications
- "Automated Proofs of Block Cipher Modes of Operation.",
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini,
Journal of Automated Reasoning, vol. 56 no. 1,
2016.
- "Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext.",
Michael Backes, Martin Gagné, Sri Aravinda Krishnan Thyagarajan,
Proceedings of the Fourth International Workshop on Security in Cloud Computing (SCC),
2015.
- "Automated Security Proofs for Almost-Universal Hash for MAC Verification.",
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech,
Proceedings of the European Symposium on Research in Computer Security (ESORICS),
2013.
- "Using mobile device communication to strengthen e-Voting protocols.",
Michael Backes, Martin Gagné, Malte Skoruppa,
Proceedings of the Workshop on Privacy in the Electronic Society (WPES),
2013.
- "Short Pairing-Efficient Threshold-Attribute-Based Signature.",
Martin Gagné, Shivaramakrishnan Narayan, Reihaneh Safavi-Naini,
Proceedings of the 5th International Conference on Pairing-Based Cryptography (Pairing 2012),
2012.
- "Automated Verification of Block Cipher Modes of Operation, an Improved Method.",
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech,
Proceedings of the 4th International Symposium on Foundation & Practice of Security (FPS 2011),
2011.
- "Privacy preserving EHR system using attribute-based infrastructure.",
Shivaramakrishnan Narayan, Martin Gagné, Reihaneh Safavi-Naini,
Proceedings of the ACM Cloud Computing Security Workshop (CCSW),
2010.
- "Threshold Attribute-Based Signcryption.",
Martin Gagné, Shivaramakrishnan Narayan, Reihanei Safavi-Naini,
Proceedings of the 7th Conference on Security and Cryptography for Networks (SCN),
2010.
- "Automated Security Proof for Symmetric Encryption Modes.",
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech,
Proceedings of the 13th Asian Computing Science Conference (ASIAN 2009),
2009.
- "A content-driven access control system. ",
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech,
Proceedings of the 7th Symposium on Identity and Trust on the Internet (IDtrust),
2008.
Computer Science Graduate School Resources
- CRA's CS URGE CS graduate school information and summer research opportunities
- Advice for Undergrads Considering Graduate School from ACM
- Choosing a Ph.D. Program in CS from ACM
- Graduate School Information Guide from CRAW's Mentoring Workshop
- How to Succeed in Graduate School from ACM
- Applying
to Ph.D. Programs in Computer Science by Mor Harchol-Balter at CMU. This is
a very good source of information about what getting a Ph.D. is like, how
to apply to gradschool, the importance of grades, GREs, research experience,
and letters of recommendations, how to write a good personal statement,
how to get good letters of recommendation, how to pick schools to which to
apply (and how to pick a school once accepted), and links to fellowships.
-
How to Succeed in Graduate School: A Guide for Students and Advisors, by
Marie desJardins (a very good read)
Summer Research Opportunities for Undergraduates
CS Job Searching Resources
Last updated Friday, August 19, 2016.