On the Challenge of Sound Code for Operating Systems.

Jonathan Klimt, Martin Krning, Stefan Lankes, Antonello Monti

Browse the full PLOS paper archive.