Trustfull

Trustfull   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...