The K Primer (version 3.3). - Traian-Florin Serbanuta; Andrei Arusoaie; David Lazar; Chucky Ellison; Dorel Lucanu; Grigore Rosu (K, 2011)

Executing Formal Semantics with the K Tool. - David Lazar; Andrei Arusoaie; Traian-Florin Serbanuta; Chucky Ellison; Radu Mereuta; Dorel Lucanu; Grigore Rosu (FM, 2012)

Why does cryptographic software fail?: a case study and open problems. - David Lazar; Haogang Chen 001; Xi Wang 005; Nickolai Zeldovich (APSys, 2014)

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. - Xi Wang 005; David Lazar; Nickolai Zeldovich; Adam Chlipala; Zachary Tatlock (OSDI, 2014)

Mjölnir: The Magical Web Application Hammer. - Jelle van den Hooff; David Lazar; James Mickens (APSys, 2015)

Vuvuzela: scalable private messaging resistant to traffic analysis. - Jelle van den Hooff; David Lazar; Matei Zaharia; Nickolai Zeldovich (SOSP, 2015)

Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services. - Albert Kwon; Mashael AlSabah; David Lazar; Marc Dacier; Srinivas Devadas (USENIX Security Symposium, 2015)

Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata. - David Lazar; Nickolai Zeldovich (OSDI, 2016)

Riffle: An Efficient Communication System With Strong Anonymity. - Albert Kwon; David Lazar; Srinivas Devadas; Bryan Ford (Proc. Priv. Enhancing Technol., 2016)

Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis. - David Lazar; Yossi Gilad; Nickolai Zeldovich (OSDI, 2018)

What's a Little Leakage Between Friends? - Sebastian Angel; David Lazar; Ioanna Tzialla (WPES@CCS, 2018)

Yodel: strong metadata security for voice calls. - David Lazar; Yossi Gilad; Nickolai Zeldovich (SOSP, 2019)

IMDoC: Identification of Malicious Domain Campaigns via DNS and Communicating Files. - David Lazar; Kobi Cohen; Alon Freund; Avishay Bartik; Aviv Ron (IEEE Access, 2021)

Groove: Flexible Metadata-Private Messaging. - Ludovic Barman; Moshe Kol; David Lazar; Yossi Gilad; Nickolai Zeldovich (OSDI, 2022)