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

Lenin Singaravelu, Calton Pu, Hermann Härtig, Christian Helmuth. Reducing TCB complexity for security-sensitive applications: three case studies. In Yolande Berbers, Willy Zwaenepoel, editors, Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006. pages 161-174, ACM, 2006. [doi]

Authors

Lenin Singaravelu

This author has not been identified. Look up 'Lenin Singaravelu' in Google

Calton Pu

This author has not been identified. Look up 'Calton Pu' in Google

Hermann Härtig

This author has not been identified. It may be one of the following persons: Look up 'Hermann Härtig' in Google

Christian Helmuth

This author has not been identified. Look up 'Christian Helmuth' in Google