Brian Lamacchia, Kristin Lauter, Anton Mityagin
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outside the boundary of the...
Abstract REFEREE: Trust Management for Web Applications (2008)
Yang-hua Chu, Joan Feigenbaum, Brian Lamacchia, Paul Resnick, Martin Strauss
Digital signatures provide a mechanism for guaranteeing integrity and authenticity of Web content but not more general notions of security or trust. Web-aware applications must permit users to state...
Brian Lamacchia, Kristin Lauter, Anton Mityagin
Recent work by Krawczyk [13] and Menezes [17] has highlighted the importance of understanding well the guarantees and limitations of formal security models when using them to prove the security of...
Brian Lamacchia, Kristin Lauter, Anton Mityagin
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outside the boundary of the...
"Cooperative Security": A Model for the New Enterprise (2007)
Barbara Fox Brian, Brian Lamacchia
Enterprise security solutions no longer come "one-size-fits-all." The prospect of universal and virtually free connectivity via the Internet is driving a profound change in the business...
Stronger Security of Authenticated Key Exchange (2006)
Brian Lamacchia, Kristin Lauter, Anton Mityagin
In this paper we study security definitions for authenticated key exchange (AKE) protocols.
The Standard Map Machine. (1998)
The Standard Map Machine (SMM) is designed as an answer to the intensive computational requirements involved in the study of chaotic behavior in nonlinear systems. The high-speed and high-precision...
Precision measurements of chaotic circuits /--by Brian A. LaMacchia. (1990)
Supervised by Gerald J. Sussman.
The Standard Map Machine (1989)
We have designed the Standard Map Machine(SMM) as an answer to the intensive computational requirements involved in the study of chaotic behavior in nonlinear systems. The high-speed and...
The Standard Map Machine (1989)
We have designed the Standard Map Machine(SMM) as an answer to the intensive computational requirements involved in the study of chaotic behavior in nonlinear systems. The high-speed and...
Certificate Revocation: Mechanics and Meaning
Barbara Fox And, Barbara Fox, Brian Lamacchia
. Revocation of public key certificates is controversial in every aspect: methodology, mechanics, and even meaning. This isn't so surprising, though, when considered in the context of current...
REFEREE: Trust Management for Web Applications
Yang-Hua Chu, Joan Feigenbaum, Brian Lamacchia, Paul Resnick, Martin Strauss
Digital signatures provide a mechanism for guaranteeing integrity and authenticity of Web content but not more general notions of security or trust. Web-aware applications must permit users to state...