David Lazar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | OSDI | Groove: Flexible Metadata-Private Messaging. | Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich |
| 2019 | SOSP | Yodel: strong metadata security for voice calls. | David Lazar, Yossi Gilad, Nickolai Zeldovich |
| 2018 | OSDI | Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis. | David Lazar, Yossi Gilad, Nickolai Zeldovich |
| 2016 | OSDI | Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata. | David Lazar, Nickolai Zeldovich |
| 2015 | SOSP | Vuvuzela: scalable private messaging resistant to traffic analysis. | Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich |
| 2014 | OSDI | Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. | Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock |
| 2012 | FM | Executing Formal Semantics with the K Tool. | David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |