Books by Programming Languages and Analysis for Security Workshop (3rd 2008 Tucson, Ariz.) on BookTides.