Trustworthy Systems

Mathieu Paturel
Research Assistant

Research Interests

Mathieu is interested in formal methods, in particular bringing its cost down. He is presently working on verifying user level components running on top of the seL4 core platform, a very thin operating operating system.

Contact Details

Email:m.paturel@student.unsw.edu.au
Web:https://math2001.github.io

More contact information is available at the Contact page.

Photo of Mathieu Paturel

Publication List

Projects

Current

Publications

Trustworthy Systems Group Papers

2023

Abstract PDF Mathieu Paturel, Isitha Subasinghe and Gernot Heiser
First steps in verifying the seL4 Core Platform
Asia-Pacific Workshop on Systems (APSys), Seoul, KR, August, 2023