Books by Programming Languages and Analysis for Security Workshop (2006 Ottawa, Ontario, Canada) on BookTides.