Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
Publications
Publications by Year
-
The F# Computation Expression Zoo
Tomas Petricek, Don Syme
Proceedings of Practical Aspects of Declarative Languages | January 2014
-
Extending Monads with Pattern Matching
Tomas Petricek, Don Syme, Alan Mycroft,
Proceedings of Haskell Symposium | January 2011
-
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
-
Refinement Types for Secure Implementations
Jesper Bengtson, Karthik Bhargavan, Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2008-118 | June 2008
ISBN: 978-0-7695-3182-3
20th IEEE Computer Security Foundations Symposium (CSF) 2008
Publications by Research Area
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
The F# Computation Expression Zoo
Tomas Petricek, Don Syme
Proceedings of Practical Aspects of Declarative Languages | January 2014
Extending Monads with Pattern Matching
Tomas Petricek, Don Syme, Alan Mycroft,
Proceedings of Haskell Symposium | January 2011
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
Refinement Types for Secure Implementations
Jesper Bengtson, Karthik Bhargavan, Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2008-118 | June 2008
ISBN: 978-0-7695-3182-3
20th IEEE Computer Security Foundations Symposium (CSF) 2008
-
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
Publications by Type
-
Cryptographically Verified Design and Implementation of a Distributed Key Manager
Tolga Acar, Cédric Fournet, Dan Shumow
MSR-TR-2014-48 | April 2014
Principles and Applications of Refinement Types
Andy Gordon, Cédric Fournet
MSR-TR-2009-147 | October 2009
Refinement Types for Secure Implementations
Jesper Bengtson, Karthik Bhargavan, Cédric Fournet, Andy Gordon, Sergio Maffeis
MSR-TR-2008-118 | June 2008
ISBN: 978-0-7695-3182-3
20th IEEE Computer Security Foundations Symposium (CSF) 2008
-
The F# Computation Expression Zoo
Tomas Petricek, Don Syme
Proceedings of Practical Aspects of Declarative Languages | January 2014
Extending Monads with Pattern Matching
Tomas Petricek, Don Syme, Alan Mycroft,
Proceedings of Haskell Symposium | January 2011