Nickolai Zeldovich [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Veil: Private Browsing Semantics Without Browser-side Assistance. NDSS-2018 - san diego,usa
Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds NSDI-2016 - santa clara,usa
Using Crash Hoare Logic for Certifying the FSCQ File System SOSP-2015 - california,usa
Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis SOSP-2015 - california,usa
Amber: Decoupling User Data from Web Applications HOTos-2015 - Katause,Switzerland
Specifying Crash Safety for Storage Systems HOTos-2015 - Katause,Switzerland
Hare: a file system for non-cache-coherent multicores. EuroSys-2015 - Bordeaux,France
VerSum: Verifiable Computations over Large Public Logs CCS-2014 - Scottsdale,USA
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure OSDI-2014 - broomfield,usa
Identifying Information Disclosure in Web Applications with Retroactive Auditing OSDI-2014 - broomfield,usa
Nail: A Practical Tool for Parsing and Generating Data Formats OSDI-2014 - broomfield,usa
Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior USENIXatc-2014 - Philadelphia,USA
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors USENIXatc-2014 - Philadelphia,USA
Building Web Applications on Top of Encrypted Data Using Mylar NSDI-2014 - Seattle,USA Defence
Authenticated Storage Using Small Trusted Hardware CCSW-2013 - Berlin,Germany
Making Linux Protection Mechanisms Egalitarian With Userfs 19th USENIX Security Symposium-2010 - Washington DC, USA Security