ABOUT

I work at the intersection of networking, distributed systems, security, and economics. I am currently working on moving towards a more secure PKI. My vision is of an Internet where users feel motivated and safe to help one another achieve better performance and reliability. I have been fortunate to work with many wonderful collaborators.

If you are a current or prospective student and interested in working together, feel free to drop me a line. You should also consider attending Syschat.

NEWS

August I presented our work on Alibi Routing at SIGCOMM 2015. Thanks to the attendees for the great questions. To learn more, check out the slides from the talk.

The work was recently the topic of this IEEE Spectrum article.
July Our paper on our Ting, a new tool for measuring latencies between any arbitrary pair of Tor nodes was accepted to IMC 2015. The lead author on this is Frank Cangialosi, an undergraduate who will be applying for grad school this year; keep an eye out for him!
Our paper on our measuring the extent to which browsers (do not) correctly check for certificate revocations was accepted to IMC 2015. For more info on this project, and our results from our study of Heartbleed, go to securepki.org.
Presented our secure PKI work to the NSA Science of Security Lablet meeting at CMU. Thanks to all who put it together, and for all the great feedback.
June Our paper on our Build-it/Break-it secure programming competition was accepted to CSET 2015. Stay tuned for the next competition!
April Our paper on "Alibi Routing" was accepted to SIGCOMM 2015. It introduces a new routing primitive that lets users selectively and provably avoid parts of the world when routing their packets.
Our paper on "Slick" was accepted to SOSR 2015, which describes a wholly new approach to NFV, making it easy to create new middleboxes and automatically place them wherever in the network they should be.

TEACHING

CMSC 414 Computer and Network Security (Spring 2015, Spring 2014)
CMSC 330 Organization of Programming Languages (Spring 2013)
Co-taught with Mike Hicks
CMSC 818F Securing and Monetizing the Internet (Spring 2013)
Co-taught with Elaine Shi

SELECTED PUBLICATIONS (full list)

To appear Ting: Measuring and Exploiting Latencies Between All Tor Nodes
Frank Cangialosi, Dave Levin, Neil Spring
ACM IMC 2015 (Internet Measurement Conference) Long paper
To appear On SSL Certificate Revocation: The Race to the Bottom in Securing the Web's PKI
Yabing Liu, Will Tome, Liang Zhang, David Choffnes, Dave Levin, Bruce Maggs, Alan Mislove, Aaron Schulman, Christo Wilson
ACM IMC 2015 (Internet Measurement Conference) Long paper
(pdf) (www) Alibi Routing
Dave Levin, Youndo Lee, Luke Valenta, Zhihao Li, Victoria Lai, Cristian Lumezanu, Neil Spring, Bobby Bhattacharjee
ACM SIGCOMM 2015
(pdf) Build It Break It: Measuring and Comparing Development Security
Andrew Ruef, Michael Hicks, James Parker, Dave Levin, Atif Memon, Jan Plane, Piotr Mardziel
CSET 2015 (Workshop on Cyber Security Experimentation and Test)
(pdf) Programming Slick Network Functions
Bilal Anwer, Theophilus Benson, Nick Feamster, Dave Levin
SOSR 2015 (Symposium on SDN Research)
(pdf) RevCast: Fast, Private Certificate Revocation over FM Radio
Aaron Schulman, Dave Levin, Neil Spring
CCS 2014 (Conference on Computer and Communications Security)
(pdf) Analysis of SSL Certificate Reissues and Revocations in the Wake of Heartbleed
Liang Zhang, Dave Choffnes, Tudor Dumitras, Dave Levin, Alan Mislove, Aaron Schulman, Christo Wilson
IMC 2014 (Internet Measurement Conference) Long paper