Dave Levin (dml@cs.umd.edu)

4131 A.V. Williams
University of Maryland
Computer Science

Curriculum Vitae
Dave Levin

About Me

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.



PCs and chairing

Selected publications (full list)

(pdf) UAv6: Alias Resolution in IPv6 Using Unused Addresses
Ramakrishna Padmanabhan, Zhihao Li, Dave Levin, Neil Spring
PAM 2015 (Passive and Active Measurement Conference)
(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
(pdf) D-mystifying the D-root Address Change
Matthew Lentz, Dave Levin, Jason Castonguay, Neil Spring, Bobby Bhattacharjee
IMC 2013 (Internet Measurement Conference) Short paper
(pdf) Making Currency Cheap with iOwe
Dave Levin, Aaron Schulman, Katrina LaCurts, Neil Spring, Bobby Bhattacharjee
NetEcon 2011 (Workshop on The Economics of Networks, Systems, and Computation)
TrInc: Small Trusted Hardware for Large Distributed Systems
Dave Levin, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda
NSDI 2009 (USENIX Symposium on Networked Systems Design and Implementation)
Awarded best paper
BitTorrent is an Auction: Analyzing and Improving BitTorrent's Incentives
Dave Levin, Katrina LaCurts, Neil Spring, Bobby Bhattacharjee
SIGCOMM 2008 (ACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications)

Last modified: January 2015 -Dave