Reducing TCB complexity for security-sensitive applications: Three case studies (2006)

by L SINGARAVELU, C PU, H HAERTIG, C HELMUTH
Venue:In Proc. of EuroSys