EasyChair Smart Slide
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base