| 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 | 366 | 2015 |
| 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 | 213 | 2015 |
| 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 | 193 | 2015 |
| 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 | 175 | 2014 |
| 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 | 117 | 2018 |
| Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata D Lazar, N Zeldovich 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16), 2016 | 93 | 2016 |
| 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 | 88 | 2014 |
| 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 | 41 | 2019 |
| 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 | 27 | 2014 |
| 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 | 17 | 2014 |
| 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 | 17 | 2012 |
| 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 | 15 | 2022 |
| 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 | 12 | 2018 |
| 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 |
