Nickolai Zeldovich
Nickolai Zeldovich
Unknown affiliation
Verified email at csail.mit.edu
Title
Cited by
Cited by
Year
CryptDB: protecting confidentiality with encrypted query processing
RA Popa, CMS Redfield, N Zeldovich, H Balakrishnan
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
13022011
Making information flow explicit in HiStar
N Zeldovich, S Boyd-Wickizer, E Kohler, D Mazières
Communications of the ACM 54 (11), 93-101, 2011
8082011
Algorand: Scaling byzantine agreements for cryptocurrencies
Y Gilad, R Hemo, S Micali, G Vlachos, N Zeldovich
Proceedings of the 26th Symposium on Operating Systems Principles, 51-68, 2017
6452017
An Analysis of Linux Scalability to Many Cores.
S Boyd-Wickizer, AT Clements, Y Mao, A Pesterev, MF Kaashoek, ...
OSDI 10 (13), 86-93, 2010
4592010
Relational cloud: A database-as-a-service for the cloud
C Curino, EPC Jones, RA Popa, N Malviya, E Wu, S Madden, ...
4512011
An ideal-security protocol for order-preserving encoding
RA Popa, FH Li, N Zeldovich
2013 IEEE Symposium on Security and Privacy, 463-477, 2013
3752013
Reusable garbled circuits and succinct functional encryption
S Goldwasser, Y Kalai, RA Popa, V Vaikuntanathan, N Zeldovich
Proceedings of the forty-fifth annual ACM symposium on Theory of computing …, 2013
3542013
Processing analytical queries over encrypted data
SL Tu, MF Kaashoek, SR Madden, N Zeldovich
Association for Computing Machinery (ACM), 2013
3542013
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
342*2011
Securing Distributed Systems with Information Flow Control.
N Zeldovich, S Boyd-Wickizer, D Mazieres
NSDI 8, 293-308, 2008
2972008
Virtual Appliances for Deploying and Maintaining Software.
CP Sapuntzakis, D Brumley, R Chandra, N Zeldovich, J Chow, MS Lam, ...
LISA 3, 181-194, 2003
2502003
Virtual appliance management
MSL Lam, CP Sapuntzakis, RUV Chandra, NB Zeldovich, M Rosenblum, ...
US Patent 7,890,689, 2011
2412011
Improving application security with data flow assertions
A Yip, X Wang, N Zeldovich, MF Kaashoek
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
2172009
The collective: A cache-based system management architecture
R Chandra, N Zeldovich, C Sapuntzakis, MS Lam
Proceedings of the 2nd conference on Symposium on Networked Systems Design …, 2005
2052005
Using Crash Hoare logic for certifying the FSCQ file system
H Chen, D Ziegler, T Chajed, A Chlipala, MF Kaashoek, N Zeldovich
Proceedings of the 25th Symposium on Operating Systems Principles, 18-37, 2015
1942015
Energy management in mobile devices with the Cinder operating system
A Roy, SM Rumble, R Stutsman, P Levis, D Mazières, N Zeldovich
Proceedings of the sixth conference on Computer systems, 139-152, 2011
188*2011
CryptDB: processing queries on an encrypted database
RA Popa, CMS Redfield, N Zeldovich, H Balakrishnan
Communications of the ACM 55 (9), 103-111, 2012
1872012
The scalable commutativity rule: Designing scalable software for multicore processors
AT Clements, MF Kaashoek, N Zeldovich, RT Morris, E Kohler
ACM Transactions on Computer Systems (TOCS) 32 (4), 1-47, 2015
1802015
Event-driven programming for robust software
F Dabek, N Zeldovich, F Kaashoek, D Mazières, R Morris
Proceedings of the 10th workshop on ACM SIGOPS European workshop, 186-189, 2002
1712002
Vuvuzela: Scalable private messaging resistant to traffic analysis
J Van Den Hooff, D Lazar, M Zaharia, N Zeldovich
Proceedings of the 25th Symposium on Operating Systems Principles, 137-152, 2015
1702015
The system can't perform the operation now. Try again later.
Articles 1–20