David Lazar

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 8

Top Topics

Malicious Attacks

Traffic Analysis

Convolution Kernel

Top Venues

Publications

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