Matthew Brecknell
Tag: talk
Introduction to the seL4 integrity theorems
11 Dec 2022
seL4
verification
talk