Verification Challenges of Pervasive Information Flow
By Benjamin C. Pierce
Date: January 25, 2012
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.