Travelled to:1 × France
2 × USA
Collaborated with:N.Zeldovich J.v.d.Hooff M.Zaharia X.Wang A.Chlipala Z.Tatlock A.Arusoaie T.Serbanuta C.Ellison R.Mereuta D.Lucanu G.Rosu
Talks about:infrastructur (1) trustworthi (1) interpret (1) vuvuzela (1) traffic (1) scalabl (1) analysi (1) semant (1) resist (1) privat (1)
Person: David Lazar
DBLP: Lazar:David
Contributed to:
2015
2014
2012Wrote 3 papers:
- SOSP-2015-HooffLZZ #analysis #named #scalability
- Vuvuzela: scalable private messaging resistant to traffic analysis (JvdH, DL, MZ, NZ), pp. 137–152.
- OSDI-2014-WangLZCT #framework #interpreter #kernel #named
- Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (XW, DL, NZ, AC, ZT), pp. 33–47.
- FM-2012-LazarASEMLR #semantics
- Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.