Type-Based Analysis of Protected Storage in the TPM.

Jianxiong Shao, Dengguo Feng, Yu Qin

Browse the full ICICS paper archive.