Books by Programming Languages and Analysis for Security Workshop (2nd 2007 San Diego, Calif.) on BookTides.