Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack.

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

Browse the full TAP paper archive.