Shame on me, I posted this on Twitter a while ago, but forgot to do it here:
The pre-print of our paper “No Crash, No Exploit: Automated Verification of Embedded Kernels” is now available! https://otini.chnik.fr/papers/RTAS21-No-crash-no-exploit.pdf
And so is the artifact, which automatically verifies 96 variants of an x86 kernel, analyzing only their executables.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!