Nickolai Zeldovich
18 papers
· 2012–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🐣
Hot Topic Early Bird
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(13)
🐝
Cross-Pollinator
(8)
🌉
Interdisciplinary Bridge
🏆
Keyword Champion
(3)
📈
Trend Setter
🗃️
Keyword Collector
(55)
💎
Century Club
(18)
🚀
Conference Pioneer
Conferences
OSDI (16)
NSDI (2)
Top co-authors
Research topics
Keywords
formal verification
(7)
metadata privacy
(3)
machine-checked proof
(2)
concurrent system
(2)
file system
(2)
differential privacy
(2)
private messaging
(2)
secure communication
(1)
key exchange
(1)
bandwidth optimization
(1)
secure messaging
(1)
information flow control
(1)
persistent memory
(1)
storage system
(1)
hoare logic
(1)
identity-based encryption
(1)
forward secrecy
(1)
data noninterference
(1)
crash consistency
(1)
traffic analysis
(1)