Access Control Subsystem and Method for Distributed Computer System Using Locally Cached Authentication Credentials [with Andrew Birrell, Butler Lampson, and Edward Wobber] U.S. Patent 5,235,642 (1993).
Computer Network with Modified Host-to-Host Encryption Keys [with Michael Burrows and Butler Lampson] U.S. Patent 5,268,962 (1993).
Compound Principals in Access Control Lists [with Andrew Goldstein and Butler Lampson] U.S. Patent 5,315,657 (1994).
Secure Web Tunnel [with Andrew Birrell, Raymie Stata, and Edward Wobber] U.S. Patent 5,805,803 (1998).
Dynamic Fine-Grained Dependency Analysis for a Functional Language [with Jim Horning, Butler Lampson, Roy Levin, Jean-Jacques Lévy, and Yuan Yu] U.S. Patent 5,940,619 (1999).
Method and Apparatus for Strengthening Passwords for Protection of Computer Systems [with Mark Lomas and Roger Needham] U.S. Patent 6,079,021 (2000).