David Lazar

According to our database, David Lazar authored at least 14 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Groove: Flexible Metadata-Private Messaging.

Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

IMDoC: Identification of Malicious Domain Campaigns via DNS and Communicating Files.

David Lazar, Kobi Cohen, Alon Freund, Avishay Bartik, Aviv Ron

IEEE Access, 2021

2019

Yodel: strong metadata security for voice calls.

David Lazar, Yossi Gilad, Nickolai Zeldovich

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018

What's a Little Leakage Between Friends?

Sebastian Angel, David Lazar, Ioanna Tzialla

Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018

Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis.

David Lazar, Yossi Gilad, Nickolai Zeldovich

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2016

Riffle: An Efficient Communication System With Strong Anonymity.

Albert Kwon, David Lazar, Srinivas Devadas, Bryan Ford

Proc. Priv. Enhancing Technol., 2016

Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata.

David Lazar, Nickolai Zeldovich

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services.

Albert Kwon, Mashael AlSabah, David Lazar, Marc Dacier, Srinivas Devadas

Proceedings of the 24th USENIX Security Symposium, 2015

Vuvuzela: scalable private messaging resistant to traffic analysis.

Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Mjölnir: The Magical Web Application Hammer.

Jelle van den Hooff, David Lazar, James Mickens

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure.

Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Why does cryptographic software fail?: a case study and open problems.

David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich

Proceedings of the Asia-Pacific Workshop on Systems, 2014

2012

Executing Formal Semantics with the K Tool.

David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu

Proceedings of the FM 2012: Formal Methods, 2012

2011

The K Primer (version 3.3).

Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011