Section: Dissemination
Ph.D in progress
-
Computationally Proved Implementations of Security Protocols,
Robert Künnemann, Secure APIs and Simulation-Based Security, Started Oct. 2010, supervised by Steve Kremer (CASSIS) and Graham Steel
Gavin Keighren, A Type System for Security APIs, since 2007 (to submit March 2013), advisors Graham Steel and David Aspinall (University of Edinburgh). Graham is now at EPI Prosecco.