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

by L Singaravelu, C Pu, H Härtig, C Helmuth
Venue:In Proceedings of the 2006 ACM European Conference on Computer Systems (EuroSys