2 papers
cs.CR2025
Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows
Sebastian Rehms, Stefan Köpsell, Verena Klös +1
This work introduces Information Inference Diagrams (I2Ds), a modeling framework aiming to complement existing approaches for privacy and security analysis of distributed systems.…
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…