Formal verification of information flow security for a simple arm-based separation kernel.

Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz

Browse the full CCS paper archive.