Nowak, David

1. Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base
   2019/05/14 by Narjes Jomaa, Paolo Torrini, Jomaa, Narjes +7 · 2 citations
   Computer Science · #Security and Verification in Computing #Advanced Malware Detection Techniques #Cloud Data Security Solutions