Mathieu Paturel

According to our database, Mathieu Paturel authored at least 1 paper in 2023.

Collaborative distances:

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

2023

First steps in verifying the seL4 Core Platform.

Mathieu Paturel, Isitha Subasinghe, Gernot Heiser

Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems, 2023