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

by Lenin Singaravelu, Calton Pu, Hermann Hartig, Christian Helmuth
Venue:In EuroSys 2006