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. 161-174 2006 conf/eurosys/2006 EuroSys http://doi.acm.org/10.1145/1217935.1217951 db/conf/eurosys/eurosys2006.html#SingaraveluPHH06