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

Dec 05

2nd European Chaos Engineering Day

December 5 @ 09:00 - 17:00
Jun 17

EuroS&P 2019 (Security and Privacy) at KTH

June 17, 2019 - June 19, 2019

News Archives

News Categories