Research Institute in Automated Program Analysis and Verification
UK's Second Academic Research Institute in Cyber Security
Home
News
Projects
App Guarden: Resilient Application Stores
[University of Edinburgh]
Certified Verification of Client-Side Web Programs
[Imperial College London]
Compositional Security Analysis for Binaries
[Queen Mary University of London, University of Kent and University College London]
Program Verification Techniques for Understanding Security Properties of Software
[University College London]
REVES: REasoning in VErification and Security
[The University of Manchester]
SeMaMatch: Semantic Malware Matching
[University of Kent and University College London]
People
Advisory Board
Events
Contact us
Home
Publications
A Trusted Mechanised JavaSript Specification
Back
A Trusted Mechanised JavaSript Specification