B-SIDH: supersingular isogeny Diffie-Hellman using twisted torsion
ASIACRYPT 2020 | December 2020
Return to Microsoft Research Lab - Redmond
Security and Cryptography
Publications
Publications by Year
-
Implementing Grover Oracles for Quantum Key Search on AES and LowMC.
Samuel Jaques, Michael Naehrig, Martin Roetteler, Fernando Virdia
EUROCRYPT 2020 | May 2020
Improved Classical Cryptanalysis of SIKE in Practice
Craig Costello, Patrick Longa, Michael Naehrig, Joost Renes, Fernando Virdia
PKC 2020 | April 2020
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
PQCrypto 2020 | April 2020
The supersingular isogeny problem in genus 2 and beyond
Craig Costello, Benjamin Smith
PQCrypto 2020 | April 2020
Supersingular isogeny key exchange for beginners
SAC 2019 | January 2020
-
Benchmarking post-quantum cryptography in TLS
Christian Paquin, Douglas Stebila, Goutam Tamvada
December 2019
Prototyping post-quantum and hybrid key exchange and authentication in TLS and SSH
Eric Crockett, Christian Paquin (cpaquin), Douglas Stebila
July 2019
-
Computing supersingular isogenies on Kummer surfaces
Progress in Cryptology - ASIACRYPT 2018 | December 2018
-
Quantum resource estimates for computing elliptic curve discrete logarithms
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin Lauter
Proc. ASIACRYPT 2017 | December 2017
Lecture Notes in Computer Science
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig
Proceedings of ACM CCS 2017 | October 2017
FourQ on embedded devices with strong countermeasures against side-channel attacks
Patrick Longa, Zhe Liu, Geovandro Pereira, Oscar Reparaz, Hwajeong Seo
MSR-TR-2017-18 | May 2017
HOP: Hardware makes Obfuscation Practical
Kartik Nayak, Christopher W. Fletcher, Ling Ren, Nishanth Chandran, Satya Lokam, Elaine Shi, Vipul Goyal
Network and Distributed System Security Symposium 2017 | February 2017
-
Efficient Compression of SIDH Public Keys
Craig Costello, David Jao, Patrick Longa, Michael Naehrig, Joost Renes, David Urbanik
EUROCRYPT 2017 | October 2016
Frodo: Take off the ring! Practical, Quantum-Secure Key Exchange from LWE
Joppe Bos, Craig Costello, Leo Ducas, Ilya Mironov, Michael Naehrig, Valeria Nikolaenko, Ananth Raghunathan, Douglas Stebila
MSR-TR-2016-1137 | September 2016
ISBN: 978-1-4503-4139-4
23rd ACM Conference on Computer and Communications Security (CCS 2016), Vienna, Austria
Detection of Rogue Certificates from Trusted Certificate Authorities Using Deep Neural Networks
Zheng Dong, Kevin Kane, L. Jean Camp
ACM Transactions on Privacy and Security (TOPS) | September 2016, Vol 19
Efficient Algorithms for Supersingular Isogeny Diffie-Hellman
Craig Costello, Patrick Longa, Michael Naehrig
Advances in Cryptology - CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016
Authenticated Network Time Synchronization
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
USENIX Security 2016 | August 2016
FourQ on FPGA: New Hardware Speed Records for Elliptic Curve Cryptography over Large Prime Characteristic Fields
Kimmo Jarvinen, Andrea Miele, Reza Azarderakhsh, Patrick Longa
MSR-TR-2016-10 | June 2016
FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors
MSR-TR-2016-25 | May 2016
Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography
Patrick Longa, Michael Naehrig
MSR-TR-2016-23 | May 2016
Complete addition formulas for prime order elliptic curves
Joost Renes, Craig Costello, Lejla Batina
Advances in Cryptology - EUROCRYPT, 35th International Conference on the Theory and Application of Cryptology and Information Security, Vienna, Austria, May 8 - 12, 2016, Springer, May 2016. | May 2016
The New Wildcats: High-Risk Banking From Worst-Case Certificate Practices Online
Zheng Dong, Kevin Kane, Siyu Chen, L. Jean Camp
Technology Science | April 2016
CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2016-3 | February 2016
-
Keys under doormats: mandating insecurity by requiring government access to all data and communications
Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner
Journal of Cybersecurity | November 2015
Manual for Using Homomorphic Encryption for Bioinformatics
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2015-87 | November 2015
Accelerating Homomorphic Evaluation on Reconfigurable Hardware
Thomas Pöppelmann, Michael Naehrig, Andrew Putnam, Adrián Macías
Cryptographic Hardware and Embedded Systems - CHES 2015 - 17th International Workshop, Saint-Malo, France | September 2015
ISBN: 978-3-662-48323-7
Subgroup Security in Pairing-Based Cryptography
Paulo S. L. M. Barreto, Craig Costello, Rafael Misoczki, Michael Naehrig, Geovandro C. C. F. Pereira, Gustavo Zanon
Progress in Cryptology - LATINCRYPT 2015 - 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico | August 2015
ISBN: 978-3-319-22173-1
Stronger Password-Based Encryption Using All-or-Nothing Transforms
MSR-TR-2015-63 | August 2015
Specification of Curve Selection and Supported Curve Parameters in MSR ECCLib
Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig
MSR-TR-2015-49 | June 2015
A brief discussion on selecting new elliptic curves
Craig Costello, Patrick Longa, Michael Naehrig
MSR-TR-2015-46 | June 2015
Position paper presented at the NIST Workshop on Elliptic Curve Cryptography Standards (http://www.nist.gov/itl/csd/ct/ecc-workshop.cfm).
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 2015
Selecting Elliptic Curves for Cryptography: an Efficiency and Security Analysis
Joppe Bos, Michael Naehrig, Patrick Longa, Craig Costello
Journal of Cryptographic Engineering | May 2015
Post-quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem
Joppe Bos, Craig Costello, Michael Naehrig, Douglas Stebila
Proceedings of the IEEE Symposium on Security and Privacy | March 2015
ANTP: Authenticated NTP Implementation Specification
Greg Zaverucha, Benjamin Dowling, Douglas Stebila
MSR-TR-2015-19 | February 2015
Selecting Elliptic Curves for Cryptography: An Efficiency and Security Analysis
Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig
Journal of Cryptographic Engineering | February 2015, Vol 6(4): pp. 259-286
-
Jacobian Coordinates on Genus 2 Curves
Huseyin Hisil, Craig Costello
ASIACRYPT 2014 | December 2014
Algebraic MACs and Keyed-Verification Anonymous Credentials
Melissa Chase, Sarah Meiklejohn, Greg Zaverucha
ACM CCS 2014 | November 2014
Phishing in Smooth Waters: The State of Banking Certificates in the US
Zheng Dong, Kevin Kane, L. Jean Camp
Procedings of TPRC42, the Research Conference on Communication, Information, and Internet Policy, Proceedings of TPRC42, the Research Conference on Communication, Information and Internet Policy | September 2014
Efficient and Secure Algorithms for GLV-Based Scalar Multiplication and their Implementation on GLV-GLS Curves (Extended Version)
Armando Faz-Hernandez, Patrick Longa, Ana Sanchez
Journal of Cryptographic Engineering | September 2014
Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants
Craig Costello, Alyson Deines-Schartz, Kristin Lauter, Tonghai Yang
London Mathematical Society Journal of Computational Mathematics | August 2014, Vol 17
Post-quantum key exchange for the TLS protocol from the ring learning with errors problem
Joppe W. Bos, Craig Costello, Michael Naehrig, Douglas Stebila
MSR-TR-2014-107 | August 2014
Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants
Craig Costello, Kristin Lauter
MSR-TR-2014-78 | June 2014
Jacobian Coordinates on Genus 2 Curves
Huseyin Hisil, Craig Costello
MSR-TR-2014-76 | May 2014
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication (Full version)
Patrick Longa, Francesco Sica
Journal of Cryptology | April 2014
High Assurance Policy-Based Key Management at Low Cost
Tolga Acar, Lan Nguyen
MSR-TR-2014-49 | April 2014
Efficient and Secure Methods for GLV-Based Scalar Multiplication and their Implementation on GLV-GLS Curves
Armando Faz-Hernandez, Patrick Longa, Ana H. Sanchez,
RSA Conference Cryptographers' Track (CT-RSA 2014) | February 2014
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello, Andrea Miele
Conference on Practice and Theory of Public-Key Cryptography (PKC) | January 2014
-
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello
MSR-TR-2013-101 | October 2013
Faster Compact Diffie-Hellman: Endomorphisms on the x-line
Craig Costello, Huseyin Hisil, Benjamin Smith
MSR-TR-2013-113 | October 2013
Exponentiating in Pairing Groups
Joppe Bos, Craig Costello, Michael Naehrig
Selected Areas in Cryptography 2013 (SAC 2013) | August 2013
High-Performance Scalar Multiplication using 8-Dimensional GLV/GLS Decomposition
Joppe Bos, Craig Costello, Huseyin Hisil, Kristin Lauter
Workshop on Cryptographic Hardware and Embedded Systems - CHES 2013 | August 2013
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn
USENIX Journal of Election Technology and Systems (JETS) | August 2013
Fast Cryptography in Genus 2
Joppe Bos, Craig Costello, Kristin Lauter
Eurocrypt 2013 | May 2013
High-Performance Scalar Multiplication using 8-Dimensional GLV/GLS Decomposition
Joppe Bos, Craig Costello, Huseyin Hisil, Kristin Lauter
MSR-TR-2013-29 | March 2013
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
The Realm of the Pairings (Invited Paper)
Diego F. Aranha, Paulo S.L.M. Barreto, Patrick Longa, Jefferson E. Ricardini
Selected Areas in Cryptography (SAC 2013) | January 2013
-
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication
Patrick Longa, Francesco Sica
Advances in Cryptology - ASIACRYPT 2012 | December 2012
Advances in Cryptology - ASIACRYPT 2012
Tracking Rootkit Footprints with a Practical Memory Analysis System
Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan
Proceedings of the 21st USENIX Security Symposium | August 2012
Efficient Implementation of Bilinear Pairings on ARM Processors
Gurleen Grewal, Reza Azarderakhsh, Patrick Longa, Shi Hu, David Jao
Conference on Selected Areas in Cryptography (SAC 2012) | July 2012
Implementing 4-Dimensional GLV Method on GLS Elliptic Curves with j-Invariant 0
Zhi Hu, Patrick Longa, Maozhi Xu
Journal of Designs, Codes and Cryptography | June 2012
Inspection Resistant Memory: Architectural Support for Security from Physical Examination
Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Dan Shumow, Vinod Vaikuntanathan, Timothy Sherwood,
Proceedings of ISCA 2012. | June 2012
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
Pairing 2012 | May 2012
See http://research.microsoft.com/apps/pubs/default.aspx?id=149608 for an e-print version.
-
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
SOBA: Secrecy-preserving Observable Ballot-level Audit
Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark
Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '11) | August 2011
Homomorphic Proofs and Applications
Tolga Acar, Lan Nguyen
Public Key Cryptography (PKC 2011) | March 2011
Public Key Cryptography (PKC 2011)
-
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
Published by Microsoft
Previously submitted to NDSS 2010.
Cryptographic Agility and its Relation to Circular Encryption
Tolga Acar, Mira Belenkiy, Mihir Bellare, David Cash
EUROCRYPT 2010 | May 2010
Side Channel Leakage Profiling in Software
Dan Shumow, Peter Montgomery
Workshop Proceedings COSADE 2010 First International Workshop on Constructive Side-Channel Analysis and Secure Design | February 2010
Modular Reduction without Pre-computation for Special Moduli
January 2010 | (in preparation) edition edition
(in preparation)
-
Randomizable Proofs and Delegatable Anonymous Credentials
Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham
CRYPTO 2009 | November 2009
Patient Controlled Encryption: Patient Privacy in Electronic Medical Records
Josh Benaloh, Melissa Chase, Eric Horvitz, Kristin Lauter
The ACM Cloud Computing Security Workshop | November 2009
On Subliminal Channels in Encrypt-on-Cast Voting Systems
Ariel J. Feldman, Josh Benaloh
Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '09) | August 2009
Compact E-Cash and Simulatable VRFs Revisited
Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya
Pairing 2009 | August 2009
Pairing 2009
Cyclotron: A Secure, Isolated, Virtual Cycle-Scavenging Grid in the Enterprise
Kevin Kane, Blair Dillaway
Concurrency and Computation: Practice and Experience | August 2009
Isogenies of Elliptic Curves: A Computational Approach
August 2009
August 2009
Pretty-Bad-Proxy: An Overlooked Adversary in Browsers’ HTTPS Deployments
Shuo Chen, Ziqing Mao, Yi-Min Wang, Ming Zhang
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2009
Proceedings of the IEEE Symposium on Security and Privacy (Oakland)
Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
Transactions on Information Forensics and Security | January 2009
-
Cyclotron: a secure, isolated, virtual cycle-scavenging grid in the enterprise
Kevin Kane, Blair Dillaway
Proceedings of the 6th International Workshop on Middleware for Grid Computing | December 2008
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT '08) | June 2008
-
Ballot Casting Assurance via Voter-Initiated Poll Station Auditing
Proceedings of the 2007 Electronic Voting Technology Workshop | June 2007
-
Simple Verifiable Elections
Proceedings of the 2006 Electronic Voting Technology Workshop | June 2006
-
Using Character Recognition and Segmentation to Tell Computer from Humans
7th International Conference on Document Analysis and Recognition | August 2003
7th International Conference on Document Analysis and Recognition
-
A Secure Directory Service based on Exclusive Encryption
John (JD) Douceur, Atul Adya, Josh Benaloh, Bill Bolosky, Gideon Yuval
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC) | December 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC)
-
Key Compression and its Application to Digital Fingerprinting
MSR-TR-2001-121 | April 2001
Published by Microsoft
-
Receipt-Free Secret-Ballot Elections
Dwight Tuinstra, Josh Benaloh
STOC '94 Proceedings of the Twenty-sixth Annual ACM Symposium on Theory of Computing | May 1994
Publications by Research Area
-
Key Compression and its Application to Digital Fingerprinting
MSR-TR-2001-121 | April 2001
Published by Microsoft
Receipt-Free Secret-Ballot Elections
Dwight Tuinstra, Josh Benaloh
STOC '94 Proceedings of the Twenty-sixth Annual ACM Symposium on Theory of Computing | May 1994
B-SIDH: supersingular isogeny Diffie-Hellman using twisted torsion
ASIACRYPT 2020 | December 2020
Implementing Grover Oracles for Quantum Key Search on AES and LowMC.
Samuel Jaques, Michael Naehrig, Martin Roetteler, Fernando Virdia
EUROCRYPT 2020 | May 2020
Improved Classical Cryptanalysis of SIKE in Practice
Craig Costello, Patrick Longa, Michael Naehrig, Joost Renes, Fernando Virdia
PKC 2020 | April 2020
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
PQCrypto 2020 | April 2020
The supersingular isogeny problem in genus 2 and beyond
Craig Costello, Benjamin Smith
PQCrypto 2020 | April 2020
Supersingular isogeny key exchange for beginners
SAC 2019 | January 2020
Benchmarking post-quantum cryptography in TLS
Christian Paquin, Douglas Stebila, Goutam Tamvada
December 2019
Prototyping post-quantum and hybrid key exchange and authentication in TLS and SSH
Eric Crockett, Christian Paquin (cpaquin), Douglas Stebila
July 2019
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig
Proceedings of ACM CCS 2017 | October 2017
FourQ on embedded devices with strong countermeasures against side-channel attacks
Patrick Longa, Zhe Liu, Geovandro Pereira, Oscar Reparaz, Hwajeong Seo
MSR-TR-2017-18 | May 2017
HOP: Hardware makes Obfuscation Practical
Kartik Nayak, Christopher W. Fletcher, Ling Ren, Nishanth Chandran, Satya Lokam, Elaine Shi, Vipul Goyal
Network and Distributed System Security Symposium 2017 | February 2017
Detection of Rogue Certificates from Trusted Certificate Authorities Using Deep Neural Networks
Zheng Dong, Kevin Kane, L. Jean Camp
ACM Transactions on Privacy and Security (TOPS) | September 2016, Vol 19
Efficient Algorithms for Supersingular Isogeny Diffie-Hellman
Craig Costello, Patrick Longa, Michael Naehrig
Advances in Cryptology - CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016
Authenticated Network Time Synchronization
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
USENIX Security 2016 | August 2016
FourQ on FPGA: New Hardware Speed Records for Elliptic Curve Cryptography over Large Prime Characteristic Fields
Kimmo Jarvinen, Andrea Miele, Reza Azarderakhsh, Patrick Longa
MSR-TR-2016-10 | June 2016
FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors
MSR-TR-2016-25 | May 2016
Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography
Patrick Longa, Michael Naehrig
MSR-TR-2016-23 | May 2016
Complete addition formulas for prime order elliptic curves
Joost Renes, Craig Costello, Lejla Batina
Advances in Cryptology - EUROCRYPT, 35th International Conference on the Theory and Application of Cryptology and Information Security, Vienna, Austria, May 8 - 12, 2016, Springer, May 2016. | May 2016
The New Wildcats: High-Risk Banking From Worst-Case Certificate Practices Online
Zheng Dong, Kevin Kane, Siyu Chen, L. Jean Camp
Technology Science | April 2016
CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2016-3 | February 2016
Keys under doormats: mandating insecurity by requiring government access to all data and communications
Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner
Journal of Cybersecurity | November 2015
Manual for Using Homomorphic Encryption for Bioinformatics
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2015-87 | November 2015
Accelerating Homomorphic Evaluation on Reconfigurable Hardware
Thomas Pöppelmann, Michael Naehrig, Andrew Putnam, Adrián Macías
Cryptographic Hardware and Embedded Systems - CHES 2015 - 17th International Workshop, Saint-Malo, France | September 2015
ISBN: 978-3-662-48323-7
Subgroup Security in Pairing-Based Cryptography
Paulo S. L. M. Barreto, Craig Costello, Rafael Misoczki, Michael Naehrig, Geovandro C. C. F. Pereira, Gustavo Zanon
Progress in Cryptology - LATINCRYPT 2015 - 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico | August 2015
ISBN: 978-3-319-22173-1
Stronger Password-Based Encryption Using All-or-Nothing Transforms
MSR-TR-2015-63 | August 2015
Specification of Curve Selection and Supported Curve Parameters in MSR ECCLib
Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig
MSR-TR-2015-49 | June 2015
A brief discussion on selecting new elliptic curves
Craig Costello, Patrick Longa, Michael Naehrig
MSR-TR-2015-46 | June 2015
Position paper presented at the NIST Workshop on Elliptic Curve Cryptography Standards (http://www.nist.gov/itl/csd/ct/ecc-workshop.cfm).
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 2015
Selecting Elliptic Curves for Cryptography: an Efficiency and Security Analysis
Joppe Bos, Michael Naehrig, Patrick Longa, Craig Costello
Journal of Cryptographic Engineering | May 2015
Post-quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem
Joppe Bos, Craig Costello, Michael Naehrig, Douglas Stebila
Proceedings of the IEEE Symposium on Security and Privacy | March 2015
ANTP: Authenticated NTP Implementation Specification
Greg Zaverucha, Benjamin Dowling, Douglas Stebila
MSR-TR-2015-19 | February 2015
Selecting Elliptic Curves for Cryptography: An Efficiency and Security Analysis
Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig
Journal of Cryptographic Engineering | February 2015, Vol 6(4): pp. 259-286
Jacobian Coordinates on Genus 2 Curves
Huseyin Hisil, Craig Costello
ASIACRYPT 2014 | December 2014
Algebraic MACs and Keyed-Verification Anonymous Credentials
Melissa Chase, Sarah Meiklejohn, Greg Zaverucha
ACM CCS 2014 | November 2014
Phishing in Smooth Waters: The State of Banking Certificates in the US
Zheng Dong, Kevin Kane, L. Jean Camp
Procedings of TPRC42, the Research Conference on Communication, Information, and Internet Policy, Proceedings of TPRC42, the Research Conference on Communication, Information and Internet Policy | September 2014
Efficient and Secure Algorithms for GLV-Based Scalar Multiplication and their Implementation on GLV-GLS Curves (Extended Version)
Armando Faz-Hernandez, Patrick Longa, Ana Sanchez
Journal of Cryptographic Engineering | September 2014
Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants
Craig Costello, Alyson Deines-Schartz, Kristin Lauter, Tonghai Yang
London Mathematical Society Journal of Computational Mathematics | August 2014, Vol 17
Post-quantum key exchange for the TLS protocol from the ring learning with errors problem
Joppe W. Bos, Craig Costello, Michael Naehrig, Douglas Stebila
MSR-TR-2014-107 | August 2014
Jacobian Coordinates on Genus 2 Curves
Huseyin Hisil, Craig Costello
MSR-TR-2014-76 | May 2014
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
High Assurance Policy-Based Key Management at Low Cost
Tolga Acar, Lan Nguyen
MSR-TR-2014-49 | April 2014
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication (Full version)
Patrick Longa, Francesco Sica
Journal of Cryptology | April 2014
Efficient and Secure Methods for GLV-Based Scalar Multiplication and their Implementation on GLV-GLS Curves
Armando Faz-Hernandez, Patrick Longa, Ana H. Sanchez,
RSA Conference Cryptographers' Track (CT-RSA 2014) | February 2014
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello, Andrea Miele
Conference on Practice and Theory of Public-Key Cryptography (PKC) | January 2014
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello
MSR-TR-2013-101 | October 2013
Faster Compact Diffie-Hellman: Endomorphisms on the x-line
Craig Costello, Huseyin Hisil, Benjamin Smith
MSR-TR-2013-113 | October 2013
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn
USENIX Journal of Election Technology and Systems (JETS) | August 2013
High-Performance Scalar Multiplication using 8-Dimensional GLV/GLS Decomposition
Joppe Bos, Craig Costello, Huseyin Hisil, Kristin Lauter
Workshop on Cryptographic Hardware and Embedded Systems - CHES 2013 | August 2013
Exponentiating in Pairing Groups
Joppe Bos, Craig Costello, Michael Naehrig
Selected Areas in Cryptography 2013 (SAC 2013) | August 2013
Fast Cryptography in Genus 2
Joppe Bos, Craig Costello, Kristin Lauter
Eurocrypt 2013 | May 2013
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
High-Performance Scalar Multiplication using 8-Dimensional GLV/GLS Decomposition
Joppe Bos, Craig Costello, Huseyin Hisil, Kristin Lauter
MSR-TR-2013-29 | March 2013
The Realm of the Pairings (Invited Paper)
Diego F. Aranha, Paulo S.L.M. Barreto, Patrick Longa, Jefferson E. Ricardini
Selected Areas in Cryptography (SAC 2013) | January 2013
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication
Patrick Longa, Francesco Sica
Advances in Cryptology - ASIACRYPT 2012 | December 2012
Advances in Cryptology - ASIACRYPT 2012
Tracking Rootkit Footprints with a Practical Memory Analysis System
Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan
Proceedings of the 21st USENIX Security Symposium | August 2012
Efficient Implementation of Bilinear Pairings on ARM Processors
Gurleen Grewal, Reza Azarderakhsh, Patrick Longa, Shi Hu, David Jao
Conference on Selected Areas in Cryptography (SAC 2012) | July 2012
Implementing 4-Dimensional GLV Method on GLS Elliptic Curves with j-Invariant 0
Zhi Hu, Patrick Longa, Maozhi Xu
Journal of Designs, Codes and Cryptography | June 2012
Inspection Resistant Memory: Architectural Support for Security from Physical Examination
Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Dan Shumow, Vinod Vaikuntanathan, Timothy Sherwood,
Proceedings of ISCA 2012. | June 2012
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
Pairing 2012 | May 2012
See http://research.microsoft.com/apps/pubs/default.aspx?id=149608 for an e-print version.
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
SOBA: Secrecy-preserving Observable Ballot-level Audit
Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark
Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '11) | August 2011
Homomorphic Proofs and Applications
Tolga Acar, Lan Nguyen
Public Key Cryptography (PKC 2011) | March 2011
Public Key Cryptography (PKC 2011)
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
Published by Microsoft
Previously submitted to NDSS 2010.
Cryptographic Agility and its Relation to Circular Encryption
Tolga Acar, Mira Belenkiy, Mihir Bellare, David Cash
EUROCRYPT 2010 | May 2010
Side Channel Leakage Profiling in Software
Dan Shumow, Peter Montgomery
Workshop Proceedings COSADE 2010 First International Workshop on Constructive Side-Channel Analysis and Secure Design | February 2010
Modular Reduction without Pre-computation for Special Moduli
January 2010 | (in preparation) edition edition
(in preparation)
Randomizable Proofs and Delegatable Anonymous Credentials
Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham
CRYPTO 2009 | November 2009
On Subliminal Channels in Encrypt-on-Cast Voting Systems
Ariel J. Feldman, Josh Benaloh
Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '09) | August 2009
Cyclotron: A Secure, Isolated, Virtual Cycle-Scavenging Grid in the Enterprise
Kevin Kane, Blair Dillaway
Concurrency and Computation: Practice and Experience | August 2009
Isogenies of Elliptic Curves: A Computational Approach
August 2009
August 2009
Compact E-Cash and Simulatable VRFs Revisited
Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya
Pairing 2009 | August 2009
Pairing 2009
Pretty-Bad-Proxy: An Overlooked Adversary in Browsers’ HTTPS Deployments
Shuo Chen, Ziqing Mao, Yi-Min Wang, Ming Zhang
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2009
Proceedings of the IEEE Symposium on Security and Privacy (Oakland)
Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
Transactions on Information Forensics and Security | January 2009
Cyclotron: a secure, isolated, virtual cycle-scavenging grid in the enterprise
Kevin Kane, Blair Dillaway
Proceedings of the 6th International Workshop on Middleware for Grid Computing | December 2008
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT '08) | June 2008
Ballot Casting Assurance via Voter-Initiated Poll Station Auditing
Proceedings of the 2007 Electronic Voting Technology Workshop | June 2007
Simple Verifiable Elections
Proceedings of the 2006 Electronic Voting Technology Workshop | June 2006
A Secure Directory Service based on Exclusive Encryption
John (JD) Douceur, Atul Adya, Josh Benaloh, Bill Bolosky, Gideon Yuval
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC) | December 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC)
-
Complete addition formulas for prime order elliptic curves
Joost Renes, Craig Costello, Lejla Batina
Advances in Cryptology - EUROCRYPT, 35th International Conference on the Theory and Application of Cryptology and Information Security, Vienna, Austria, May 8 - 12, 2016, Springer, May 2016. | May 2016
Selecting Elliptic Curves for Cryptography: an Efficiency and Security Analysis
Joppe Bos, Michael Naehrig, Patrick Longa, Craig Costello
Journal of Cryptographic Engineering | May 2015
Selecting Elliptic Curves for Cryptography: An Efficiency and Security Analysis
Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig
Journal of Cryptographic Engineering | February 2015, Vol 6(4): pp. 259-286
Jacobian Coordinates on Genus 2 Curves
Huseyin Hisil, Craig Costello
ASIACRYPT 2014 | December 2014
Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants
Craig Costello, Alyson Deines-Schartz, Kristin Lauter, Tonghai Yang
London Mathematical Society Journal of Computational Mathematics | August 2014, Vol 17
Post-quantum key exchange for the TLS protocol from the ring learning with errors problem
Joppe W. Bos, Craig Costello, Michael Naehrig, Douglas Stebila
MSR-TR-2014-107 | August 2014
Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants
Craig Costello, Kristin Lauter
MSR-TR-2014-78 | June 2014
Jacobian Coordinates on Genus 2 Curves
Huseyin Hisil, Craig Costello
MSR-TR-2014-76 | May 2014
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello, Andrea Miele
Conference on Practice and Theory of Public-Key Cryptography (PKC) | January 2014
Homomorphic Proofs and Applications
Tolga Acar, Lan Nguyen
Public Key Cryptography (PKC 2011) | March 2011
Public Key Cryptography (PKC 2011)
-
Quantum resource estimates for computing elliptic curve discrete logarithms
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin Lauter
Proc. ASIACRYPT 2017 | December 2017
Lecture Notes in Computer Science
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig
Proceedings of ACM CCS 2017 | October 2017
Efficient Compression of SIDH Public Keys
Craig Costello, David Jao, Patrick Longa, Michael Naehrig, Joost Renes, David Urbanik
EUROCRYPT 2017 | October 2016
Frodo: Take off the ring! Practical, Quantum-Secure Key Exchange from LWE
Joppe Bos, Craig Costello, Leo Ducas, Ilya Mironov, Michael Naehrig, Valeria Nikolaenko, Ananth Raghunathan, Douglas Stebila
MSR-TR-2016-1137 | September 2016
ISBN: 978-1-4503-4139-4
23rd ACM Conference on Computer and Communications Security (CCS 2016), Vienna, Austria
Efficient Algorithms for Supersingular Isogeny Diffie-Hellman
Craig Costello, Patrick Longa, Michael Naehrig
Advances in Cryptology - CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016
Post-quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem
Joppe Bos, Craig Costello, Michael Naehrig, Douglas Stebila
Proceedings of the IEEE Symposium on Security and Privacy | March 2015
Post-quantum key exchange for the TLS protocol from the ring learning with errors problem
Joppe W. Bos, Craig Costello, Michael Naehrig, Douglas Stebila
MSR-TR-2014-107 | August 2014
-
Computing supersingular isogenies on Kummer surfaces
Progress in Cryptology - ASIACRYPT 2018 | December 2018
Selecting Elliptic Curves for Cryptography: An Efficiency and Security Analysis
Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig
Journal of Cryptographic Engineering | February 2015, Vol 6(4): pp. 259-286
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello, Andrea Miele
Conference on Practice and Theory of Public-Key Cryptography (PKC) | January 2014
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello
MSR-TR-2013-101 | October 2013
-
CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2016-3 | February 2016
Manual for Using Homomorphic Encryption for Bioinformatics
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2015-87 | November 2015
-
CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2016-3 | February 2016
Manual for Using Homomorphic Encryption for Bioinformatics
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2015-87 | November 2015
Patient Controlled Encryption: Patient Privacy in Electronic Medical Records
Josh Benaloh, Melissa Chase, Eric Horvitz, Kristin Lauter
The ACM Cloud Computing Security Workshop | November 2009
-
Accelerating Homomorphic Evaluation on Reconfigurable Hardware
Thomas Pöppelmann, Michael Naehrig, Andrew Putnam, Adrián Macías
Cryptographic Hardware and Embedded Systems - CHES 2015 - 17th International Workshop, Saint-Malo, France | September 2015
ISBN: 978-3-662-48323-7
Inspection Resistant Memory: Architectural Support for Security from Physical Examination
Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Dan Shumow, Vinod Vaikuntanathan, Timothy Sherwood,
Proceedings of ISCA 2012. | June 2012
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
-
High Assurance Policy-Based Key Management at Low Cost
Tolga Acar, Lan Nguyen
MSR-TR-2014-49 | April 2014
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
Published by Microsoft
Previously submitted to NDSS 2010.
Pretty-Bad-Proxy: An Overlooked Adversary in Browsers’ HTTPS Deployments
Shuo Chen, Ziqing Mao, Yi-Min Wang, Ming Zhang
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2009
Proceedings of the IEEE Symposium on Security and Privacy (Oakland)
Cyclotron: a secure, isolated, virtual cycle-scavenging grid in the enterprise
Kevin Kane, Blair Dillaway
Proceedings of the 6th International Workshop on Middleware for Grid Computing | December 2008
-
Using Character Recognition and Segmentation to Tell Computer from Humans
7th International Conference on Document Analysis and Recognition | August 2003
7th International Conference on Document Analysis and Recognition
A Secure Directory Service based on Exclusive Encryption
John (JD) Douceur, Atul Adya, Josh Benaloh, Bill Bolosky, Gideon Yuval
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC) | December 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC)
Publications by Type
-
Receipt-Free Secret-Ballot Elections
Dwight Tuinstra, Josh Benaloh
STOC '94 Proceedings of the Twenty-sixth Annual ACM Symposium on Theory of Computing | May 1994
B-SIDH: supersingular isogeny Diffie-Hellman using twisted torsion
ASIACRYPT 2020 | December 2020
Implementing Grover Oracles for Quantum Key Search on AES and LowMC.
Samuel Jaques, Michael Naehrig, Martin Roetteler, Fernando Virdia
EUROCRYPT 2020 | May 2020
Improved Classical Cryptanalysis of SIKE in Practice
Craig Costello, Patrick Longa, Michael Naehrig, Joost Renes, Fernando Virdia
PKC 2020 | April 2020
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
PQCrypto 2020 | April 2020
The supersingular isogeny problem in genus 2 and beyond
Craig Costello, Benjamin Smith
PQCrypto 2020 | April 2020
Supersingular isogeny key exchange for beginners
SAC 2019 | January 2020
Computing supersingular isogenies on Kummer surfaces
Progress in Cryptology - ASIACRYPT 2018 | December 2018
Quantum resource estimates for computing elliptic curve discrete logarithms
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin Lauter
Proc. ASIACRYPT 2017 | December 2017
Lecture Notes in Computer Science
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi , Sebastian Ramacher, Christian Rechberger, Greg Zaverucha, Daniel Slamanig
Proceedings of ACM CCS 2017 | October 2017
HOP: Hardware makes Obfuscation Practical
Kartik Nayak, Christopher W. Fletcher, Ling Ren, Nishanth Chandran, Satya Lokam, Elaine Shi, Vipul Goyal
Network and Distributed System Security Symposium 2017 | February 2017
Efficient Compression of SIDH Public Keys
Craig Costello, David Jao, Patrick Longa, Michael Naehrig, Joost Renes, David Urbanik
EUROCRYPT 2017 | October 2016
Efficient Algorithms for Supersingular Isogeny Diffie-Hellman
Craig Costello, Patrick Longa, Michael Naehrig
Advances in Cryptology - CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016
Authenticated Network Time Synchronization
Benjamin Dowling, Douglas Stebila, Greg Zaverucha
USENIX Security 2016 | August 2016
Complete addition formulas for prime order elliptic curves
Joost Renes, Craig Costello, Lejla Batina
Advances in Cryptology - EUROCRYPT, 35th International Conference on the Theory and Application of Cryptology and Information Security, Vienna, Austria, May 8 - 12, 2016, Springer, May 2016. | May 2016
Accelerating Homomorphic Evaluation on Reconfigurable Hardware
Thomas Pöppelmann, Michael Naehrig, Andrew Putnam, Adrián Macías
Cryptographic Hardware and Embedded Systems - CHES 2015 - 17th International Workshop, Saint-Malo, France | September 2015
ISBN: 978-3-662-48323-7
Subgroup Security in Pairing-Based Cryptography
Paulo S. L. M. Barreto, Craig Costello, Rafael Misoczki, Michael Naehrig, Geovandro C. C. F. Pereira, Gustavo Zanon
Progress in Cryptology - LATINCRYPT 2015 - 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico | August 2015
ISBN: 978-3-319-22173-1
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 2015
Post-quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem
Joppe Bos, Craig Costello, Michael Naehrig, Douglas Stebila
Proceedings of the IEEE Symposium on Security and Privacy | March 2015
Jacobian Coordinates on Genus 2 Curves
Huseyin Hisil, Craig Costello
ASIACRYPT 2014 | December 2014
Algebraic MACs and Keyed-Verification Anonymous Credentials
Melissa Chase, Sarah Meiklejohn, Greg Zaverucha
ACM CCS 2014 | November 2014
Phishing in Smooth Waters: The State of Banking Certificates in the US
Zheng Dong, Kevin Kane, L. Jean Camp
Procedings of TPRC42, the Research Conference on Communication, Information, and Internet Policy, Proceedings of TPRC42, the Research Conference on Communication, Information and Internet Policy | September 2014
Efficient and Secure Methods for GLV-Based Scalar Multiplication and their Implementation on GLV-GLS Curves
Armando Faz-Hernandez, Patrick Longa, Ana H. Sanchez,
RSA Conference Cryptographers' Track (CT-RSA 2014) | February 2014
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello, Andrea Miele
Conference on Practice and Theory of Public-Key Cryptography (PKC) | January 2014
High-Performance Scalar Multiplication using 8-Dimensional GLV/GLS Decomposition
Joppe Bos, Craig Costello, Huseyin Hisil, Kristin Lauter
Workshop on Cryptographic Hardware and Embedded Systems - CHES 2013 | August 2013
Exponentiating in Pairing Groups
Joppe Bos, Craig Costello, Michael Naehrig
Selected Areas in Cryptography 2013 (SAC 2013) | August 2013
Fast Cryptography in Genus 2
Joppe Bos, Craig Costello, Kristin Lauter
Eurocrypt 2013 | May 2013
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
The Realm of the Pairings (Invited Paper)
Diego F. Aranha, Paulo S.L.M. Barreto, Patrick Longa, Jefferson E. Ricardini
Selected Areas in Cryptography (SAC 2013) | January 2013
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication
Patrick Longa, Francesco Sica
Advances in Cryptology - ASIACRYPT 2012 | December 2012
Advances in Cryptology - ASIACRYPT 2012
Tracking Rootkit Footprints with a Practical Memory Analysis System
Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan
Proceedings of the 21st USENIX Security Symposium | August 2012
Efficient Implementation of Bilinear Pairings on ARM Processors
Gurleen Grewal, Reza Azarderakhsh, Patrick Longa, Shi Hu, David Jao
Conference on Selected Areas in Cryptography (SAC 2012) | July 2012
Inspection Resistant Memory: Architectural Support for Security from Physical Examination
Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Dan Shumow, Vinod Vaikuntanathan, Timothy Sherwood,
Proceedings of ISCA 2012. | June 2012
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, Dan Shumow
Pairing 2012 | May 2012
See http://research.microsoft.com/apps/pubs/default.aspx?id=149608 for an e-print version.
SOBA: Secrecy-preserving Observable Ballot-level Audit
Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark
Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '11) | August 2011
Homomorphic Proofs and Applications
Tolga Acar, Lan Nguyen
Public Key Cryptography (PKC 2011) | March 2011
Public Key Cryptography (PKC 2011)
Cryptographic Agility and its Relation to Circular Encryption
Tolga Acar, Mira Belenkiy, Mihir Bellare, David Cash
EUROCRYPT 2010 | May 2010
Side Channel Leakage Profiling in Software
Dan Shumow, Peter Montgomery
Workshop Proceedings COSADE 2010 First International Workshop on Constructive Side-Channel Analysis and Secure Design | February 2010
Randomizable Proofs and Delegatable Anonymous Credentials
Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham
CRYPTO 2009 | November 2009
Patient Controlled Encryption: Patient Privacy in Electronic Medical Records
Josh Benaloh, Melissa Chase, Eric Horvitz, Kristin Lauter
The ACM Cloud Computing Security Workshop | November 2009
On Subliminal Channels in Encrypt-on-Cast Voting Systems
Ariel J. Feldman, Josh Benaloh
Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '09) | August 2009
Cyclotron: A Secure, Isolated, Virtual Cycle-Scavenging Grid in the Enterprise
Kevin Kane, Blair Dillaway
Concurrency and Computation: Practice and Experience | August 2009
Compact E-Cash and Simulatable VRFs Revisited
Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya
Pairing 2009 | August 2009
Pairing 2009
Pretty-Bad-Proxy: An Overlooked Adversary in Browsers’ HTTPS Deployments
Shuo Chen, Ziqing Mao, Yi-Min Wang, Ming Zhang
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2009
Proceedings of the IEEE Symposium on Security and Privacy (Oakland)
Cyclotron: a secure, isolated, virtual cycle-scavenging grid in the enterprise
Kevin Kane, Blair Dillaway
Proceedings of the 6th International Workshop on Middleware for Grid Computing | December 2008
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT '08) | June 2008
Ballot Casting Assurance via Voter-Initiated Poll Station Auditing
Proceedings of the 2007 Electronic Voting Technology Workshop | June 2007
Simple Verifiable Elections
Proceedings of the 2006 Electronic Voting Technology Workshop | June 2006
Using Character Recognition and Segmentation to Tell Computer from Humans
7th International Conference on Document Analysis and Recognition | August 2003
7th International Conference on Document Analysis and Recognition
A Secure Directory Service based on Exclusive Encryption
John (JD) Douceur, Atul Adya, Josh Benaloh, Bill Bolosky, Gideon Yuval
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC) | December 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC)
-
Benchmarking post-quantum cryptography in TLS
Christian Paquin, Douglas Stebila, Goutam Tamvada
December 2019
Prototyping post-quantum and hybrid key exchange and authentication in TLS and SSH
Eric Crockett, Christian Paquin (cpaquin), Douglas Stebila
July 2019
-
Key Compression and its Application to Digital Fingerprinting
MSR-TR-2001-121 | April 2001
Published by Microsoft
FourQ on embedded devices with strong countermeasures against side-channel attacks
Patrick Longa, Zhe Liu, Geovandro Pereira, Oscar Reparaz, Hwajeong Seo
MSR-TR-2017-18 | May 2017
Frodo: Take off the ring! Practical, Quantum-Secure Key Exchange from LWE
Joppe Bos, Craig Costello, Leo Ducas, Ilya Mironov, Michael Naehrig, Valeria Nikolaenko, Ananth Raghunathan, Douglas Stebila
MSR-TR-2016-1137 | September 2016
ISBN: 978-1-4503-4139-4
23rd ACM Conference on Computer and Communications Security (CCS 2016), Vienna, Austria
FourQ on FPGA: New Hardware Speed Records for Elliptic Curve Cryptography over Large Prime Characteristic Fields
Kimmo Jarvinen, Andrea Miele, Reza Azarderakhsh, Patrick Longa
MSR-TR-2016-10 | June 2016
FourQNEON: Faster Elliptic Curve Scalar Multiplications on ARM Processors
MSR-TR-2016-25 | May 2016
Speeding up the Number Theoretic Transform for Faster Ideal Lattice-Based Cryptography
Patrick Longa, Michael Naehrig
MSR-TR-2016-23 | May 2016
CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2016-3 | February 2016
Manual for Using Homomorphic Encryption for Bioinformatics
Nathan Dowlin, Ran Gilad-Bachrach, Kim Laine, Kristin Lauter, Michael Naehrig, John Wernsing
MSR-TR-2015-87 | November 2015
Stronger Password-Based Encryption Using All-or-Nothing Transforms
MSR-TR-2015-63 | August 2015
Specification of Curve Selection and Supported Curve Parameters in MSR ECCLib
Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig
MSR-TR-2015-49 | June 2015
A brief discussion on selecting new elliptic curves
Craig Costello, Patrick Longa, Michael Naehrig
MSR-TR-2015-46 | June 2015
Position paper presented at the NIST Workshop on Elliptic Curve Cryptography Standards (http://www.nist.gov/itl/csd/ct/ecc-workshop.cfm).
ANTP: Authenticated NTP Implementation Specification
Greg Zaverucha, Benjamin Dowling, Douglas Stebila
MSR-TR-2015-19 | February 2015
Post-quantum key exchange for the TLS protocol from the ring learning with errors problem
Joppe W. Bos, Craig Costello, Michael Naehrig, Douglas Stebila
MSR-TR-2014-107 | August 2014
Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants
Craig Costello, Kristin Lauter
MSR-TR-2014-78 | June 2014
Jacobian Coordinates on Genus 2 Curves
Huseyin Hisil, Craig Costello
MSR-TR-2014-76 | May 2014
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
High Assurance Policy-Based Key Management at Low Cost
Tolga Acar, Lan Nguyen
MSR-TR-2014-49 | April 2014
A TPM Diffie-Hellman Oracle
Tolga Acar, Greg Zaverucha, Lan Nguyen
MSR-TR-2013-105 | October 2013
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
Joppe Bos, Craig Costello
MSR-TR-2013-101 | October 2013
Faster Compact Diffie-Hellman: Endomorphisms on the x-line
Craig Costello, Huseyin Hisil, Benjamin Smith
MSR-TR-2013-113 | October 2013
High-Performance Scalar Multiplication using 8-Dimensional GLV/GLS Decomposition
Joppe Bos, Craig Costello, Huseyin Hisil, Kristin Lauter
MSR-TR-2013-29 | March 2013
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
Key Management In Distributed Systems
Tolga Acar, Mira Belenkiy, Carl Ellison, Lan Nguyen
MSR-TR-2010-78 | June 2010
Published by Microsoft
Previously submitted to NDSS 2010.
-
Detection of Rogue Certificates from Trusted Certificate Authorities Using Deep Neural Networks
Zheng Dong, Kevin Kane, L. Jean Camp
ACM Transactions on Privacy and Security (TOPS) | September 2016, Vol 19
The New Wildcats: High-Risk Banking From Worst-Case Certificate Practices Online
Zheng Dong, Kevin Kane, Siyu Chen, L. Jean Camp
Technology Science | April 2016
Keys under doormats: mandating insecurity by requiring government access to all data and communications
Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner
Journal of Cybersecurity | November 2015
Selecting Elliptic Curves for Cryptography: an Efficiency and Security Analysis
Joppe Bos, Michael Naehrig, Patrick Longa, Craig Costello
Journal of Cryptographic Engineering | May 2015
Selecting Elliptic Curves for Cryptography: An Efficiency and Security Analysis
Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig
Journal of Cryptographic Engineering | February 2015, Vol 6(4): pp. 259-286
Efficient and Secure Algorithms for GLV-Based Scalar Multiplication and their Implementation on GLV-GLS Curves (Extended Version)
Armando Faz-Hernandez, Patrick Longa, Ana Sanchez
Journal of Cryptographic Engineering | September 2014
Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants
Craig Costello, Alyson Deines-Schartz, Kristin Lauter, Tonghai Yang
London Mathematical Society Journal of Computational Mathematics | August 2014, Vol 17
Four-Dimensional Gallant-Lambert-Vanstone Scalar Multiplication (Full version)
Patrick Longa, Francesco Sica
Journal of Cryptology | April 2014
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn
USENIX Journal of Election Technology and Systems (JETS) | August 2013
Implementing 4-Dimensional GLV Method on GLS Elliptic Curves with j-Invariant 0
Zhi Hu, Patrick Longa, Maozhi Xu
Journal of Designs, Codes and Cryptography | June 2012
Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
Transactions on Information Forensics and Security | January 2009
-
Modular Reduction without Pre-computation for Special Moduli
January 2010 | (in preparation) edition edition
(in preparation)
-
Isogenies of Elliptic Curves: A Computational Approach
August 2009
August 2009
People
Josh Benaloh
Senior Cryptographer
Christian Paquin
Principal Research Software Engineer
Craig Costello
Researcher
Dan Shumow
Senior SDE
Greg Zaverucha
Principal Software Development Engineer
Karen Easterbrook
Senior Director
Kevin Kane
Principal Software Engineer
Michael Naehrig
Principal Researcher
Patrick Longa
Senior Researcher