Research Explorer

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

Outputs and Outcomes

Code

DOCT/004237

Duration

12 July 2022 → 21 September 2025 (Ongoing)

Doctoral researcher

Niels Dossche

Research disciplines

No data available

Project description

No data available