Login / Signup
Niels Dossche
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Structural Similarities
Top Venues
CoRR
USENIX Security Symposium
</>
Publications
</>
Niels Dossche
,
Bart Coppens
Inference of Error Specifications and Bug Detection Using Structural Similarities.
USENIX Security Symposium
(2024)
Niels Dossche
,
Bert Abrath
,
Bart Coppens
A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions.
CoRR
(2024)