Sotabase

Career

· Researcher, Massachusetts Institute of Technology (MIT) Theory of Distributed Systems Group2025–
· Adjunct Professor of Computer Science and Electrical Engineering, Massachusetts Institute of Technology (MIT) Applied Computing Group
· Researcher, Massachusetts Institute of Technology (MIT) Model-Based Embedded and Robotics Systems Group (MERS)
· Researcher, MIT Computer Architecture Group
· Research Scientist, MIT CSAIL
· Senior Researcher, MIT CSAIL
· Researcher at Katabi Lab, MIT Massachusetts Institute of Technology
· MIT Medical Vision Group

Publications (153)

A note on the confinement problem
CACM · 1973
1,601
cited
SPKI Certificate Theory
Request for Comments · 1999
737
cited
A calculus for access control in distributed systems
Annual International Cryptology Conference · 1991
734
cited
Authentication in distributed systems
ACM Transactions on Computer Systems · 1992
734
cited
SDSI - A Simple Distributed Security Infrastructure
1996
636
cited
Experience with processes and monitors in Mesa
CACM · 1980
421
cited
IP lookups using multiway and multicolumn search
Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98 · 1998
384
cited
Hints for Computer System Design
IEEE Software · 1983
383
cited
Report on the programming language Euclid
SIGP · 1977
378
cited
There’s plenty of room at the Top: What will drive computer performance after Moore’s law?
Science · 2020
376
cited
Crash Recovery in a Distributed Data Storage System
1981
363
cited
Computer Security in the Real World
Computer · 2004
262
cited
The Digital Distributed System Security Architecture
1989
250
cited
Authentication in distributed systems: theory and practice
Symposium on Operating Systems Principles · 1991
238
cited
A Trusted Open Platform
Computer · 2003
226
cited
Designing a global name service
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 1986
203
cited
Revisiting the PAXOS algorithm
Theoretical Computer Science · 1997
203
cited
Dynamic protection structures
AFIPS '69 (Fall) · 1899
186
cited
How to Build a Highly Available System Using Consensus
International Workshop on Distributed Algorithms · 1996
169
cited
A Machine Learning Framework for Programming by Example
International Conference on Machine Learning · 2013
163
cited
Sotabase
Butler Lampson | Researcher Profile | Sotabase | Sotabase