David Lazar - PhD student [PDF]

... notes, and passwords; acme-nano: tool for generating HTTPS certificates; kebab: proof-of-concept backup tool focused

4 downloads 18 Views 20KB Size

Recommend Stories


PhD Student
Forget safety. Live where you fear to live. Destroy your reputation. Be notorious. Rumi

PhD student
Don't ruin a good today by thinking about a bad yesterday. Let it go. Anonymous

David J. Wilson, PhD
If you want to become full, let yourself be empty. Lao Tzu

David Wilson PhD thesis
If your life's work can be accomplished in your lifetime, you're not thinking big enough. Wes Jacks

PhD-Thesis-David-Wiedmer-2017.pdf
I want to sing like the birds sing, not worrying about who hears or what they think. Rumi

David McNally PhD thesis
Be like the sun for grace and mercy. Be like the night to cover others' faults. Be like running water

lazar pejović
Don't ruin a good today by thinking about a bad yesterday. Let it go. Anonymous

Paid PhD student position
Pretending to not be afraid is as good as actually not being afraid. David Letterman

Shuai Zhang – PhD Student
Don't fear change. The surprise is the only way to new discoveries. Be playful! Gordana Biernat

Marketing PhD Student Papers
If you are irritated by every rub, how will your mirror be polished? Rumi

Idea Transcript


David Lazar I'm a PhD student in the PDOS group at MIT where my research focuses on security and privacy in distributed systems. I did my undergrad at UIUC where I worked with the FSL on formal semantics of programming languages.

Publications • Alpenhorn: Bootstrapping Secure Communication Without Leaking Metadata (OSDI 2016) • Riffle: Efficient Communication System with Strong Anonymity (PETS 2016) • Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis (SOSP 2015) • Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services (USENIX Security 2015) • Mjölnir: The Magical Web Application Hammer (APSys 2015) • Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (OSDI 2014) • Why does cryptographic software fail? A case study and open problems (APSys 2014) • Executing Formal Semantics with the K Tool (FM 2012)

Software • Vuvuzela: private text messaging system that hides metadata • Alpenhorn: system for bootstrapping secure communication • Seal: easily encrypt files, notes, and passwords • acme-nano: tool for generating HTTPS certificates • kebab: proof-of-concept backup tool focused on security • jotmuch: proof-of-concept bookmark manager based on notmuch • PCPL: the first domino-oriented programming language • K definitions: OCaml, LLVM • Cryptol specifications: Keccak, Simon, SipHash

Etcetera • Github • Twitter • Instagram • Email: lazard csail mit edu

Smile Life

When life gives you a hundred reasons to cry, show life that you have a thousand reasons to smile

Get in touch

© Copyright 2015 - 2024 PDFFOX.COM - All rights reserved.