Security via Type Qualifiers David Walker slides from: Jeff Foster, University of Maryland Work by Alex Aiken, Jeff Foster, Rob Johnson, John Kodumal,