Type of Publication: Article in Journal

Memory Corruption at the Border of Trusted Execution

Author(s):

Cloosters, Tobias; Draissi, Oussama; Willbold, Johannes; Holz, Thorsten; Davi, Lucas

Title of Journal:

IEEE Security & Privacy

Volume (Publication Date):

2024 (2024)

pages:

2-11

Digital Object Identifier (DOI):

doi:10.1109/MSEC.2024.3381439

Citation:

Download BibTeX

Abstract

Trusted execution environments provide strong security guarantees, like isolation and confidentiality, but are not immune from memory-safety violations. Our investigation of public trusted execution environment code based on symbolic execution and fuzzing reveals subtle memory safety issues.