Sotabase

Career

· Head of Distributed Systems, Algorand2017–
· Co-founder, PreVeil2015–
· Joan and Irwin M. (1957) Jacobs Professor of Electrical Engineering and Computer Science, MIT2008–
· Co-founder, MokaFive2005–
· Undergraduate and Master's student, MIT
· PhD Student, Stanford University

Publications (273)

Algorand: Scaling Byzantine Agreements for Cryptocurrencies
IACR Cryptology ePrint Archive · 2017
1,693
cited
CryptDB: protecting confidentiality with encrypted query processing
Symposium on Operating Systems Principles · 2011
1,411
cited
Making information flow explicit in HiStar
USENIX Symposium on Operating Systems Design and Implementation · 2006
644
cited
An Analysis of Linux Scalability to Many Cores
USENIX Symposium on Operating Systems Design and Implementation · 2010
444
cited
Reusable garbled circuits and succinct functional encryption
Symposium on the Theory of Computing · 2013
440
cited
Relational Cloud: a Database Service for the cloud
Conference on Innovative Data Systems Research · 2011
415
cited
An Ideal-Security Protocol for Order-Preserving Encoding
IEEE Symposium on Security and Privacy · 2013
405
cited
Processing Analytical Queries over Encrypted Data
Proceedings of the VLDB Endowment · 2013
387
cited
Vuvuzela: scalable private messaging resistant to traffic analysis
Symposium on Operating Systems Principles · 2015
322
cited
Using Crash Hoare logic for certifying the FSCQ file system
USENIX Annual Technical Conference · 2015
276
cited
Securing Distributed Systems with Information Flow Control
Symposium on Networked Systems Design and Implementation · 2008
263
cited
How to Run Turing Machines on Encrypted Data
Annual International Cryptology Conference · 2013
219
cited
Improving application security with data flow assertions
Symposium on Operating Systems Principles · 2009
218
cited
Linux kernel vulnerabilities: state-of-the-art defenses and open problems
Asia Pacific Workshop on Systems · 2011
184
cited
CryptDB: processing queries on an encrypted database
CACM · 2012
182
cited
Virtual Appliances for Deploying and Maintaining Software
LiSA · 2003
179
cited
The scalable commutativity rule: designing scalable software for multicore processors
Symposium on Operating Systems Principles · 2013
178
cited
Stadium: A Distributed Metadata-Private Messaging System
IACR Cryptology ePrint Archive · 2017
158
cited
The collective: a cache-based system management architecture
Symposium on Networked Systems Design and Implementation · 2005
158
cited
Towards optimization-safe systems: analyzing the impact of undefined behavior
Symposium on Operating Systems Principles · 2013
158
cited
Sotabase