collaborators

1 paper

cs.CR2025

Formally-verified Security against Forgery of Remote Attestation using SSProve

Sara Zain, Jannik Mähn, Stefan Köpsell +1

Remote attestation (RA) is the foundation for trusted execution environments in the cloud and trusted device driver onboarding in operating systems. However, RA misses a rigorous m…