Aims to improve resilience of application stores by producing methods to automatically analyse and sign apps for safety properties.
[+] more
Projects
Certified Verification of Client-Side Web Programs
[Imperial College London]
Aims to provide a mechanised specification of the JavaScript standard on which to develop theories and tools for proving correctness, safety and security properties of JavaScript programs.
[+] more
Compositional Security Analysis for Binaries
[Queen Mary University of London, University of Kent and University College London]
Aims to develop a framework and tools for scalable security analysis of binaries.
[+] more
Program Verification Techniques for Understanding Security Properties of Software
[University College London]
Aims to develop automatic program verification methods (drawing on static and dynamic techniques) that help security engineers to understand software that they have not written themselves.
[+] more
REVES: REasoning in VErification and Security
[The University of Manchester]
Aims to develop first-order theorem provers for program analysis (Vampire) and to verify access policies in web services (EasyChair).
[+] more
SeMaMatch: Semantic Malware Matching
[University of Kent and University College London]
Aims to derive robust semantic signatures for malware classification based on a static and dynamic analysis.
[+] more
