Research keywords: software security, user authentication, theorem proving, programming and specification languagesTheme: Verification and SecurityWebsite: https://homepages.inf.ed.ac.uk/da/Email (optional - published on profile page): David.Aspinall@ed.ac.ukUniversity: University of Edinburgh
