Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
Dan Shumow
Senior SDE
Papiers de Collaboration
-
-
-
-
Montgomery Multiplication Using Vector Instructions
Joppe Bos, Peter Montgomery, Dan Shumow, Greg Zaverucha
Selected Areas in Cryptography 2013 (SAC 2013) | September 2013
Selected Areas in Cryptography 2013 (SAC 2013)
-
Affine Pairings on ARM
Kristin Lauter, Tolga Acar, Michael Naehrig, Daniel Shumow, Dan Shumow
Lecture Notes in Computer Science 7708, Pairing-based Cryptography -- Pairing 2012 | January 2013
-
-
-
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
-
-
-
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
-
Isogenies on Edwards Curves
Dustin Moody, Daniel Shumow, Dan Shumow
January 2010
-
Modular Reduction without Pre-computation for Special Moduli
January 2010 | édition (in preparation)
(in preparation)
-
-
-
Isogenies of Elliptic Curves: A Computational Approach
August 2009
August 2009
-
-
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
-
-
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
-
Montgomery Multiplication Using Vector Instructions
Joppe Bos, Peter Montgomery, Dan Shumow, Greg Zaverucha
Selected Areas in Cryptography 2013 (SAC 2013) | September 2013
Selected Areas in Cryptography 2013 (SAC 2013)
-
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
-
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 | édition (in preparation)
(in preparation)
-
Isogenies on Edwards Curves
Dustin Moody, Daniel Shumow, Dan Shumow
January 2010
-
Isogenies of Elliptic Curves: A Computational Approach
August 2009
August 2009
-
-
-
Montgomery Multiplication Using Vector Instructions
Joppe Bos, Peter Montgomery, Dan Shumow, Greg Zaverucha
Selected Areas in Cryptography 2013 (SAC 2013) | September 2013
Selected Areas in Cryptography 2013 (SAC 2013)
-
-
-
Affine Pairings on ARM
Kristin Lauter, Tolga Acar, Michael Naehrig, Daniel Shumow, Dan Shumow
Lecture Notes in Computer Science 7708, Pairing-based Cryptography -- Pairing 2012 | January 2013
-
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
-
-
-
Isogenies on Edwards Curves
Dustin Moody, Daniel Shumow, Dan Shumow
January 2010
-
-
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
-
-
-
Montgomery Multiplication Using Vector Instructions
Joppe Bos, Peter Montgomery, Dan Shumow, Greg Zaverucha
Selected Areas in Cryptography 2013 (SAC 2013) | September 2013
Selected Areas in Cryptography 2013 (SAC 2013)
-
Affine Pairings on ARM
Kristin Lauter, Tolga Acar, Michael Naehrig, Daniel Shumow, Dan Shumow
Lecture Notes in Computer Science 7708, Pairing-based Cryptography -- Pairing 2012 | January 2013
-
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
-
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 | édition (in preparation)
(in preparation)
-
Isogenies on Edwards Curves
Dustin Moody, Daniel Shumow, Dan Shumow
January 2010
-
-
-
Isogenies of Elliptic Curves: A Computational Approach
August 2009
August 2009
-