Formal Analysis of Secure Bootstrap in Trusted Computing.

Shuyi Chen, Yingyou Wen, Hong Zhao

Browse the full ATC paper archive.