The project aims to show that formal techniques can be used in combination with intelligent static and dynamic program manipulation techniques at scale to significantly strengthen the security of real life application stacks. The focus is on software-based attacks: attacks manifested through software that affect the host systems in adversarial ways through bugs, vulnerabilities, and design deficiencies at any level in the software stack.



Scope: Program manipulation techniques for enhanced security
Funding: SSF
Timeline: April 2018 – March 2023
Number of partners: 1
Main KTH Staff Involved: Benoit Baudry, Martin Monperrus, Mads Dam, Roberto Guanciale, Musard Balliu