Verification Challenges of Pervasive Information Flow

By Benjamin C. Pierce
Date: January 25, 2012

Slides from invited talk given by Benjamin C. Pierce at the Programming Languages Meets Program Verification (PLPV) workshop at POPL 2012.

Slides (PDF)