-
Faults in Linux: Ten Years Later
International audience -
Improving the Security of Infrastructure Software using Coccinelle.
International audience -
WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code
International audience
