Type of Publication: Article in Journal

Memory Corruption at the Border of Trusted Execution - Proc. of 2024 IEEE Security & Privacy

Author(s):

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

Title of Journal:

Institute of Electrical and Electronics Engineers (IEEE) Security & Privacy

Volume (Publication Date):

22 (2024)

Number of Issue:

4

pages:

2-11

ISSN:

1558-4046

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.