Trustworthy Systems

Mathieu Paturel
Honours Thesis Student

Research Interests

Mathieu is interested in formal methods, in particular bringing its cost down.

He is currently working on verifying user level components built on top of seL4 using SMT solvers.

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

2024

Abstract PDF Trudy Weibel, Zoltan Kocsis, Mathieu Paturel, Rob Sison, Isitha Subasinghe and Gernot Heiser
Verifying the seL4 Microkit
https://trustworthy.systems/publications/papers/Weibel_KPSSH_24.pdf, June, 2024

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