Image: AdobeStock
Research group Our research group develops tools and techniques to evaluate software during its whole lifecycle, making sure that it behaves correctly, identifying weaknesses, vulnerabilities and bugs and preventing their exploitation in the real world.
Our societies depend on software. Every day we interact with software without even knowing it's there: electricity infrastructures, health care systems, cars, payment systems, supermarkets, news, social media, etc.
In addition, the data we produce is analysed, stored and accessed using software. Unfortunately, software can have weaknesses. These can be introduced either accidentally or deliberately, for example in the case of an attack in the supply chain.
In our group, we aim to improve the quality of software by identifying and removing weaknesses during its whole life cycle – from the design and implementation phase to the deployment phase. We develop tools and approaches to analyze software, test software, understand the software and protect software from bugs and vulnerabilities.
Our research focuses, but is not limited to, the following topics:
Provides an overview and understanding of computer security risks and what can be done to minimise damage.
Personal data may have been leaked by the companies handling the Covid tests.
