todo: I think this was published in RTAS 2021 but I don’t have proper citation info for that yet
No crash, no exploit: Automated verification of embedded kernels
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival[arXiv] [Google Scholar] [DBLP] [Citeseer]
arXiv 2011.15065 cs.CR
2020
2020