MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Securing the Internet by Proving the Impossible

Dave Levin
University of Maryland
SWS Colloquium

Dave Levin is a research scientist and co-chair of the Computer Science Undergraduate Honors program at the University of Maryland.
  He previously worked in the Social Computing Group at Hewlett Packard Labs after getting his PhD from UMD in 2010.  His work lies
  at the intersection of networking, security, and economics. Dave has received a best paper award at NSDI, and a best reviewer award
  from ACM SIGCOMM.
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI  
AG Audience
English

Date, Time and Location

Monday, 14 March 2016
10:30
60 Minutes
G26
111
Kaiserslautern

Abstract

The state of Internet security today is largely reactive, continually raising the defensive bar in response to increasingly sophisticated
attackers. In this talk, I will present an alternate approach to building Internet systems that underlies much of my work: instead of
reactively working around some attacks, what if we were to make them impossible in the first place?

 I will discuss two primitives my collaborators and I have created that provide small proofs of impossibility, and I will demonstrate
  how they can be applied to solve large-scale problems, including censorship resistance, digital currency, and online voting.  
  First, I will present TrInc, a small piece of trusted hardware that provides proof that an attacker could not have sent conflicting
  messages to others.  Second, I will present Alibi Routing, a peer-to-peer system that provides proof that a user's packets could
  not have gone through a region of the world the user requested them to forbid. Finally, I will describe some of my ongoing
  and future efforts, including securing the Web's public key infrastructure.

Contact

Roslyn Stricker
--email hidden

Video Broadcast

Yes
Saarbrücken
E1 5
029
passcode not visible
logged in users only

Roslyn Stricker, 02/29/2016 12:52 -- Created document.