Roman Meier

According to our database, Roman Meier authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Specifying the de-facto OS of a production SoC.

Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023