David Lazar

I am a computer science researcher focused on systems security and privacy. I completed my PhD at MIT in 2019 under the guidance of Nickolai Zeldovich and the PDOS research group. Lately I’ve been building Lines.

Publications

• Groove: Flexible Metadata-Private Messaging (OSDI 2022)
• Yodel: Strong Metadata Security for Voice Calls (SOSP 2019)
• Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis (OSDI 2018)
• What's a little leakage between friends? (WPES 2018)
• Alpenhorn: Bootstrapping Secure Communication Without Leaking Metadata (OSDI 2016)
• Riffle: Efficient Communication System with Strong Anonymity (PETS 2016)
• Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis (SOSP 2015)
• Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services (USENIX Security 2015)
• Mjölnir: The Magical Web Application Hammer (APSys 2015)
• Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (OSDI 2014)
• Why does cryptographic software fail? A case study and open problems (APSys 2014)
• Executing Formal Semantics with the K Tool (FM 2012)

Open Source

Some of my software projects are on Github:

• Vuvuzela: private text messaging system that hides metadata
• Alpenhorn: system for bootstrapping secure communication
• Seal: easily encrypt files, notes, and passwords
• kebab: proof-of-concept backup tool focused on security
• jotmuch: proof-of-concept bookmark manager based on notmuch
• PCPL: the first domino-oriented programming language

Contact

david.768 on Signal or lazard@csail.mit.notthis.edu