No Crash, No Exploit: Automated Verification of Embedded Kernels.

Olivier Nicole, Matthieu Lemerre, Sbastien Bardin, Xavier Rival

Browse the full RTAS paper archive.