Formal Analysis of Security APIs

25^th April 2006, 16:00
Dr. Graham Steel
School of Informatics, University of Edinburgh, UK