Nickolai Zeldovich
Identifiers
No identifiers captured yet.
Papers (2)
- A Revised and Verified Proof of the Scalable Commutativity Rule cs.DC · 2018 · author #4
- Report on the NSF Workshop on Formal Methods for Security cs.CR · 2016 · author #8
Mentions
No mention provenance yet.
Frequent Coauthors
- Andrew Myers 1 shared papers
- Anupam Datta 1 shared papers
- Benjamin Pierce 1 shared papers
- Eddie Kohler 1 shared papers
- Joshua Guttman 1 shared papers
- Lillian Tsai 1 shared papers
- M. Frans Kaashoek 1 shared papers
- Patrick Schaumont 1 shared papers
- Stephen Chong 1 shared papers
- Tim Sherwood 1 shared papers