Jomaa, N., Torrini, P., Nowak, D., Grimaud, G., & Hym, S. (2019). Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. Electronic Communications of the EASST, 76. https://doi.org/10.14279/tuj.eceasst.76.1080