Linked Presentation: CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
