Nickolai ZeldovichProbability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism. Atalay Mert İleri, Frans Kaashoek, Nickolai Zeldovich, and Adam Chlipala. In Proceedings of the 37th IEEE Computer Security Foundations Symposium (CSF), Enschede, The Netherlands, July 2024. Private web search with Tiptoe. Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, and Nickolai Zel
