Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

David Lazar

dblp:117/9944 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Network security
anonymity networks
1.452019
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.232022
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.522018
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.412019
Yodel: strong metadata security for voice calls · SOSP 2019
Network security › anonymity networks
traffic analysis resistance
0.322018
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.212015
Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services · USENIX Security Symposium 2015
Privacy and data protection › communication privacy › network privacy
metadata privacy
0.212015
Vuvuzela: scalable private messaging resistant to traffic analysis · SOSP 2015
Network security
traffic analysis
0.212015
Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services · USENIX Security Symposium 2015
Systems and software security › trusted computing
trusted execution
0.212014
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure · OSDI 2014
Operating systems › extensible operating systems › kernel extensibility
kernel extensions
0.212014
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure · OSDI 2014
Distributed systems
fault tolerance
0.212022
Groove: Flexible Metadata-Private Messaging · OSDI 2022
Programming languages and type systems › language semantics › formal semantics
executable semantics
0.112012
Executing Formal Semantics with the K Tool · FM 2012
Programming languages and type systems › language semantics
formal semantics
0.112012
Executing Formal Semantics with the K Tool · FM 2012
Cryptographic primitives and cryptanalysis
symmetric cryptography
0.112019
Yodel: strong metadata security for voice calls · SOSP 2019
Cryptographic protocols and secure computation
key exchange
0.112016
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
YearPublicationVenuePosition
2022 Groove: Flexible Metadata-Private Messaging
Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich
OSDI3
2019 Yodel: strong metadata security for voice calls
abstract
Yodel 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
SOSP1
2018 Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis
David Lazar, Yossi Gilad, Nickolai Zeldovich
OSDI1
2016 Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata
David Lazar, Nickolai Zeldovich
OSDI1
2016 Riffle: An Efficient Communication System With Strong Anonymity
abstract
Abstract 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 analysis
abstract
Private 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
SOSP2
2015 Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services
Albert Kwon, Mashael Al Sabah, David Lazar, Marc Dacier, Srini Devadas
USENIX Security Symposium3
2014 Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
Xi Wang 0005, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock
OSDI2
2012 Executing Formal Semantics with the K Tool
David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu
FM1