Cryptology ePrint Archive: Report 2013/501
Available versions in chronological order
20130815:072838 (posted 15-Aug-2013 07:28:38 UTC)
Type-Based Analysis of Protected Storage in the TPM (full version)
Jianxiong Shao and Dengguo Feng and Yu Qin}
Original publication (with major differences): ICICS2013
20130816:044154 (posted 16-Aug-2013 04:41:54 UTC)
Type-Based Analysis of Protected Storage in the TPM (full version)
Jianxiong Shao and Dengguo Feng and Yu Qin
Original publication (with minor differences): ICICS2013
[
Cryptology ePrint archive
]