Formally-Verified Security Against Forgery of Remote Attestation Using SSProve.

Sara Zain, Jannik Mhn, Stefan Kpsell, Sebastian Ertel

Browse the full ESORICS paper archive.