Biblio

Export 5 results:
Filters: Author is David Lazar  [Clear All Filters]
2022
Barman L, Kol M, Lazar D, Gilad Y, Zeldovich N.  2022.  Groove: Flexible Metadata-Private Messaging. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :735--750.
2018
Lazar D, Gilad Y, Zeldovich N.  2018.  Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :711--725.
2016
Lazar D, Zeldovich N.  2016.  Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :571--586.
2014
Wang X, Lazar D, Zeldovich N, Chlipala A, Tatlock Z.  2014.  Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :33--47.