AutoSCA: Automated vulnerability analysis of cryptographic protocols

Digitisation is increasingly finding its way into all areas of life. The escalating number of critical vulnerabilities in software development represents a significant security threat. This project explores ways to use artificial intelligence (AI) to detect vulnerabilities in software code and prevent cyber attacks.