Paper on specifying the defacto OS of a modern SoC accepted to KISV 2023
The paper "Specifying the de-facto OS of a production SoC" by Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, and Timothy Roscoe was accepted to and presented by Ben Fiedler at the external page1st Workshop on Kernel Isolation, Safety and Verification (KISV), 2023.