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]
Abstract is missing.