Talks and presentations

A certified page allocator in uCore

June 15, 2020

Talk, THUFV Group, Online

An introduction to verified microkernels, Serval verification framework, and our work.