Reducing TCB complexity for security-sensitive applications: three case studies.

Lenin Singaravelu, Calton Pu, Hermann Hrtig, Christian Helmuth

Browse the full EuroSys paper archive.