Demo Data from VLDB 2026 / reviewers in the wild / expert
David Lazar
dblp:117/9944
· DBLP profile ↗
9ranked-venue papers
4as first author
1since 2021 · last 2022
0000-0002-7816-457XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 7 · 4 first-author · 1 since 2021Security and privacy · 2Theory of computation · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
7 papers |
Network security · 76% Cryptographic protocols and secure computation · 13% Privacy and data protection · 4% | |
| Software engineering, system software, and programming languages
2 papers |
Programming languages and type systems · 60% Operating systems · 40% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Distributed systems · 100% |
Topics — the 15 heaviest of 16, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Network security
anonymity networks |
1.4 | 5 | 2019 | Yodel: strong metadata security for voice calls · SOSP 2019 Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis · OSDI 2018 Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata · OSDI 2016 |
Network security › anonymity networks
metadata-private messaging |
1.2 | 3 | 2022 | Groove: Flexible Metadata-Private Messaging · OSDI 2022 Yodel: strong metadata security for voice calls · SOSP 2019 Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata · OSDI 2016 |
Cryptographic protocols and secure computation
secure messaging |
0.5 | 2 | 2018 | Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis · OSDI 2018 Vuvuzela: scalable private messaging resistant to traffic analysis · SOSP 2015 |
Network security › anonymity networks
mix networks |
0.4 | 1 | 2019 | Yodel: strong metadata security for voice calls · SOSP 2019 |
Network security › anonymity networks
traffic analysis resistance |
0.3 | 2 | 2018 | Vuvuzela: scalable private messaging resistant to traffic analysis · SOSP 2015 Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis · OSDI 2018 |
Network security › anonymity networks
hidden service deanonymization |
0.2 | 1 | 2015 | Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services · USENIX Security Symposium 2015 |
Privacy and data protection › communication privacy › network privacy
metadata privacy |
0.2 | 1 | 2015 | Vuvuzela: scalable private messaging resistant to traffic analysis · SOSP 2015 |
Network security
traffic analysis |
0.2 | 1 | 2015 | Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services · USENIX Security Symposium 2015 |
Systems and software security › trusted computing
trusted execution |
0.2 | 1 | 2014 | Jitk: A Trustworthy In-Kernel Interpreter Infrastructure · OSDI 2014 |
Operating systems › extensible operating systems › kernel extensibility
kernel extensions |
0.2 | 1 | 2014 | Jitk: A Trustworthy In-Kernel Interpreter Infrastructure · OSDI 2014 |
Distributed systems
fault tolerance |
0.2 | 1 | 2022 | Groove: Flexible Metadata-Private Messaging · OSDI 2022 |
Programming languages and type systems › language semantics › formal semantics
executable semantics |
0.1 | 1 | 2012 | Executing Formal Semantics with the K Tool · FM 2012 |
Programming languages and type systems › language semantics
formal semantics |
0.1 | 1 | 2012 | Executing Formal Semantics with the K Tool · FM 2012 |
Cryptographic primitives and cryptanalysis
symmetric cryptography |
0.1 | 1 | 2019 | Yodel: strong metadata security for voice calls · SOSP 2019 |
Cryptographic protocols and secure computation
key exchange |
0.1 | 1 | 2016 | Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata · OSDI 2016 |
Methods — techniques the papers use, named apart from their topics
cryptographic protocols · 1.1self-healing circuits · 0.4guarded circuit exchange · 0.4interpreter · 0.4formal verification · 0.4cryptographic protocol design · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Groove: Flexible Metadata-Private Messaging
Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich |
OSDI | 3 |
| 2019 | Yodel: strong metadata security for voice callsabstractYodel is the first system for voice calls that hides metadata (e.g., who is communicating with whom) from a powerful adversary that controls the network and compromises servers. Voice calls require sub-second message latency, but low latency has been difficult to achieve in prior work where processing each message requires an expensive public key operation at each hop in the network. Yodel avoids this expense with the idea of self-healing circuits, reusable paths through a mix network that use only fast symmetric cryptography. Once created, these circuits are resilient to passive and active attacks from global adversaries. Creating and connecting to these circuits without leaking metadata is another challenge that Yodel addresses with the idea of guarded circuit exchange, where each user creates a backup circuit in case an attacker tampers with their traffic. We evaluate Yodel across the internet and it achieves acceptable voice quality with 990 ms of latency for 5 million simulated users. David Lazar, Yossi Gilad, Nickolai Zeldovich |
SOSP | 1 |
| 2018 | Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis
David Lazar, Yossi Gilad, Nickolai Zeldovich |
OSDI | 1 |
| 2016 | Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata
David Lazar, Nickolai Zeldovich |
OSDI | 1 |
| 2016 | Riffle: An Efficient Communication System With Strong AnonymityabstractAbstract Existing anonymity systems sacrifice anonymity for efficient communication or vice-versa. Onion-routing achieves low latency, high bandwidth, and scalable anonymous communication, but is susceptible to traffic analysis attacks. Designs based on DC-Nets, on the other hand, protect the users against traffic analysis attacks, but sacrifice bandwidth. Verifiable mixnets maintain strong anonymity with low bandwidth overhead, but suffer from high computation overhead instead. In this paper, we present Riffle, a bandwidth and computation efficient communication system with strong anonymity. Riffle consists of a small set of anonymity servers and a large number of users, and guarantees anonymity among all honest clients as long as there exists at least one honest server. Riffle uses a new hybrid verifiable shuffle technique and private information retrieval for bandwidth- and computation-efficient anonymous communication. Our evaluation of Riffle in file sharing and microblogging applications shows that Riffle can achieve a bandwidth of over 100KB/s per user in an anonymity set of 200 users in the case of file sharing, and handle over 100,000 users with less than 10 second latency in the case of microblogging. Albert Kwon, David Lazar, Srini Devadas, Bryan Ford |
Proc. Priv. Enhancing Technol. | 2 |
| 2015 | Vuvuzela: scalable private messaging resistant to traffic analysisabstractPrivate messaging over the Internet has proven challenging to implement, because even if message data is encrypted, it is difficult to hide metadata about who is communicating in the face of traffic analysis. Systems that offer strong privacy guarantees, such as Dissent [36], scale to only several thousand clients, because they use techniques with superlinear cost in the number of clients (e.g., each client broadcasts their message to all other clients). On the other hand, scalable systems, such as Tor, do not protect against traffic analysis, making them ineffective in an era of pervasive network monitoring. Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich |
SOSP | 2 |
| 2015 | Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services
Albert Kwon, Mashael Al Sabah, David Lazar, Marc Dacier, Srini Devadas |
USENIX Security Symposium | 3 |
| 2014 | Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
Xi Wang 0005, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock |
OSDI | 2 |
| 2012 | Executing Formal Semantics with the K Tool
David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
FM | 1 |