Jomaa, N. (2019) “Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base”, Electronic Communications of the EASST, 76. doi: 10.14279/tuj.eceasst.76.1080.