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:/ |
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2024
|
 |
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
|
|
|
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 |