Nickolai Zeldovich
Nickolai Zeldovich
Okänd anknytning
Verifierad e-postadress på csail.mit.edu
Titel
Citeras av
Citeras av
År
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
13572011
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
8262011
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
6942017
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
4662010
Relational cloud: A database-as-a-service for the cloud
C Curino, EPC Jones, RA Popa, N Malviya, E Wu, S Madden, ...
4632011
An ideal-security protocol for order-preserving encoding
RA Popa, FH Li, N Zeldovich
2013 IEEE Symposium on Security and Privacy, 463-477, 2013
3892013
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
3652013
Processing analytical queries over encrypted data
SL Tu, MF Kaashoek, SR Madden, N Zeldovich
Association for Computing Machinery (ACM), 2013
3642013
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
358*2011
Securing Distributed Systems with Information Flow Control.
N Zeldovich, S Boyd-Wickizer, D Mazieres
NSDI 8, 293-308, 2008
3022008
Virtual Appliances for Deploying and Maintaining Software.
CP Sapuntzakis, D Brumley, R Chandra, N Zeldovich, J Chow, MS Lam, ...
LISA 3, 181-194, 2003
2542003
Virtual appliance management
MSL Lam, CP Sapuntzakis, RUV Chandra, NB Zeldovich, M Rosenblum, ...
US Patent 7,890,689, 2011
2432011
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
2192009
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
2062005
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
2012015
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
191*2011
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
1892015
CryptDB: processing queries on an encrypted database
RA Popa, CMS Redfield, N Zeldovich, H Balakrishnan
Communications of the ACM 55 (9), 103-111, 2012
1892012
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
1812015
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
1722002
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20