Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Automatic identification of semantic security vulnerabilities in system software such as kernels

Information

Project Team

Organisations

Outputs and Outcomes

Publications

Inference of error specifications and bug detection using structural similarities

Niels DosscheBart Coppens

P1 Conference

2024