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
14892011
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
9302017
Making information flow explicit in HiStar
N Zeldovich, S Boyd-Wickizer, E Kohler, D Mazieres
Communications of the ACM 54 (11), 93-101, 2011
8992011
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
5112010
Relational cloud: A database-as-a-service for the cloud
C Curino, EPC Jones, RA Popa, N Malviya, E Wu, S Madden, ...
4902011
An ideal-security protocol for order-preserving encoding
RA Popa, FH Li, N Zeldovich
2013 IEEE Symposium on Security and Privacy, 463-477, 2013
4292013
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
4172013
Processing analytical queries over encrypted data
SL Tu, MF Kaashoek, SR Madden, N Zeldovich
Association for Computing Machinery (ACM), 2013
4102013
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
382*2011
Securing Distributed Systems with Information Flow Control.
N Zeldovich, S Boyd-Wickizer, D Mazieres
NSDI 8, 293-308, 2008
3332008
Virtual Appliances for Deploying and Maintaining Software.
CP Sapuntzakis, D Brumley, R Chandra, N Zeldovich, J Chow, MS Lam, ...
LISA 3, 181-194, 2003
2652003
Virtual appliance management
MSL Lam, CP Sapuntzakis, RUV Chandra, NB Zeldovich, M Rosenblum, ...
US Patent 7,890,689, 2011
2452011
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
2282009
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
2242015
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
2172015
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
2172005
File System Logging versus Clustering: A Performance Comparison.
MI Seltzer, KA Smith, H Balakrishnan, J Chang, S McMains, ...
USENIX, 249-264, 1995
2101995
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
209*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
2052012
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
2042015
The system can't perform the operation now. Try again later.
Articles 1–20