Author: Programming Languages and Analysis for Security Workshop (3rd 2008 Tucson, Ariz.)