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

Mon 26

Pellow – browser art installation at Tekniska Museet

October 26 - October 30
Dec 09

News Categories