Author: Programming Languages and Analysis for Security Workshop (2nd 2007 San Diego, Calif.)