Toward a Medium-Robustness Separation Kernel Protection Profile.

Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine, Timothy E. Levin

Browse the full ACSAC paper archive.