Towards Formal Verification of a TPM Software Stack.

Yani Ziani, Nikolai Kosmatov, Frdric Loulergue, Daniel Gracia Prez, To Bernier

Browse the full IFM paper archive.