In this project we explore techniques beyond those in the Program Analysis domain, to find bugs and vulnerabilities, as well as ways of preventing such bugs and vulnerabilities from happening in the first instance, through Secure Languages.
Our main challenges
- We explore fuzzing and machine learning techniques to find bugs and vulnerabilities
- We explore Secure Languages and their applications to commercial codebases
To find out more, contact