Skip to content

Formal Analysis of DAA-Related APIs in TPM 2.0.

Li Xi, Dengguo Feng

VenueBNSS
Year2014
ProceedingsNSS

Browse the full NSS paper archive.