Automatic Vulnerability Scanning and Verification

Software is an indispensable part of our lives today. Vulnerable software poses high security risks and is one of the greatest challenges in the field of IT security.

The research area AVSV in ATHENE is working on effective, novel methods and tools for an automated vulnerability search in software and is developing solutions with which gaps in complex systems can be detected and as much detailed information as possible about the individual vulnerabilities can be provided.

more info

VUSC - the code scanner

VUSC finds security vulnerabilities, gives a generally understandable description of the problem for each vulnerability and automatically creates a classification of the vulnerabilities.

more info

Highlight Talk

The talk gives an overview of the research work in AVSV.

go to talk on youtube

Accepted Papers

We present our research results at high-profile conferences in front of an international audience.

more info