David Lazar

15 papers A* 7B 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2022 A* conf
Groove: Flexible Metadata-Private Messaging.
OSDI
Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich
2021 J jnl
IMDoC: Identification of Malicious Domain Campaigns via DNS and Communicating Files.
IEEE Access
David Lazar, Kobi Cohen, Alon Freund, Avishay Bartik, Aviv Ron
2019 A* conf
Yodel: strong metadata security for voice calls.
SOSP
David Lazar, Yossi Gilad, Nickolai Zeldovich
2018 A* conf
Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis.
OSDI
David Lazar, Yossi Gilad, Nickolai Zeldovich
2018 — conf
What's a Little Leakage Between Friends?
WPES@CCS
Sebastian Angel, David Lazar, Ioanna Tzialla
2018 J jnl
What's a little leakage between friends?
CoRR
Sebastian Angel, David Lazar, Ioanna Tzialla
2016 A* conf
Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata.
OSDI
David Lazar, Nickolai Zeldovich
2016 J jnl
Riffle: An Efficient Communication System With Strong Anonymity.
Proc. Priv. Enhancing Technol.
Albert Kwon, David Lazar, Srinivas Devadas, Bryan Ford
2015 A* conf
Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services.
USENIX Security Symposium
Albert Kwon, Mashael AlSabah, David Lazar, Marc Dacier, Srinivas Devadas
2015 — conf
Mjölnir: The Magical Web Application Hammer.
APSys
Jelle van den Hooff, David Lazar, James Mickens
2015 A* conf
Vuvuzela: scalable private messaging resistant to traffic analysis.
SOSP
Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich
2014 A* conf
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure.
OSDI
Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock
2014 — conf
Why does cryptographic software fail?: a case study and open problems.
APSys
David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich
2012 B conf
Executing Formal Semantics with the K Tool.
FM
David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu
2011 — conf
The K Primer (version 3.3).
K
Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu