Follow
David Lazar
David Lazar
MIT CSAIL
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
Vuvuzela: Scalable private messaging resistant to traffic analysis
J Van Den Hooff, D Lazar, M Zaharia, N Zeldovich
Proceedings of the 25th Symposium on Operating Systems Principles, 137-152, 2015
3422015
Circuit fingerprinting attacks: passive deanonymization of tor hidden services
A Kwon, M AlSabah, D Lazar, M Dacier, S Devadas
24th USENIX Security Symposium (USENIX Security 15), 287-302, 2015
1982015
Riffle: An efficient communication system with strong anonymity
A Kwon, D Lazar, S Devadas, B Ford
Proceedings on Privacy Enhancing Technologies 2016 (2), 115-134, 2015
1842015
Why does cryptographic software fail? A case study and open problems
D Lazar, H Chen, X Wang, N Zeldovich
Proceedings of 5th Asia-Pacific Workshop on Systems, 1-7, 2014
1672014
Karaoke: distributed private messaging immune to passive traffic analysis
D Lazar, Y Gilad, N Zeldovich
13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018
1032018
Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata
D Lazar, N Zeldovich
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16), 2016
852016
Jitk: A trustworthy in-kernel interpreter infrastructure
X Wang, D Lazar, N Zeldovich, A Chlipala, Z Tatlock
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
832014
Yodel: strong metadata security for voice calls
D Lazar, Y Gilad, N Zeldovich
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 211-224, 2019
352019
The K Primer (version 3.3).
TF Serbanuta, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Rosu
Electr. Notes Theor. Comput. Sci. 304, 57-80, 2014
272014
The K primer (version 3.3)
TF Şerbănuţă, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Roşu
Electronic Notes in Theoretical Computer Science 304, 57-80, 2014
172014
Executing Formal Semantics with the K Tool
D Lazar, A Arusoaie, TF Şerbǎnuţǎ, C Ellison, R Mereuta, D Lucanu, ...
FM 2012: Formal Methods, 267-271, 2012
152012
What's a little leakage between friends?
S Angel, D Lazar, I Tzialla
Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 104-108, 2018
102018
Groove: Flexible {Metadata-Private} Messaging
L Barman, M Kol, D Lazar, Y Gilad, N Zeldovich
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022
92022
Vuvuzela: Scalable Private Messaging that Hides Metadata
D Lazar
Massachusetts Institute of Technology, 2016
2016
Mjölnir: The Magical Web Application Hammer
J van den Hooff, D Lazar, J Mickens
Proceedings of the 6th Asia-Pacific Workshop on Systems, 1-8, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–15