David Lazar

I'm a PhD student in the PDOS group at MIT CSAIL, advised by Nickolai Zeldovich and Frans Kaashoek. My research focuses on security and privacy in distributed systems. Previously, I worked with the FSL group on formal semantics of programming languages at UIUC.

Publications

Software

Most of my software projects are on my Github. Here are some highlights:

Consider supporting my work by donating to Vuvuzela or buying me a coffee.

Etcetera