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




CASTOR Newsletter

Upcoming Events

Thu 28
Jun 16


June 16
Jun 17

EuroS&P 2019 (Security and Privacy) at KTH

June 17 - June 19

News Categories