Explore the security vulnerabilities in embedded Trusted Execution Architectures (TEAs) through this 18-minute IEEE conference talk. Delve into the research conducted by Marton Bognar, Jo Van Bulck, and Frank Piessens from KU Leuven as they examine the gaps between theoretical security proofs and practical implementations of TEAs. Gain insights into potential weaknesses in systems that are considered provably secure, and understand the importance of bridging the divide between formal verification and real-world security challenges in embedded systems.
Mind the Gap - Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures
Overview
Syllabus
Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
-
One TPM to Bind Them All - Fixing TPM2.0 for Provably Secure Anonymous Attestation
-
Faults in Our Bus - Novel Bus Fault Attack to Break Trusted Execution Environments in Embedded Systems
-
Unearthing the TrustedCore - A Critical Review on Huawei’s Trusted Execution Environment
-
Understanding the Prevailing Security Vulnerabilities in TrustZone-Assisted TEE Systems
-
IRQDebloat - Reducing Driver Attack Surface in Embedded Devices
