The classifier judged this item not relevant to AI security, so it is left out of lists, feeds, the API and dataset releases. If that is wrong, report a correction on this page.
InfoResearchPeer-reviewed
Toward Secure and Efficient Driver Support for Embedded TEE Systems
- Published
- Record updated
Summary
The paper proposes a twin driver approach in which paired TEE and REE drivers cooperate to give trusted execution environments such as TrustZone secure, efficient driver support. It introduces DrvAna, an LLVM-based data flow analysis framework that uses a value-type tree to analyze shared driver state, and a Linux driver runtime (LDR) that sandboxes the TEE driver using ARM domain access control. Adapting six existing Linux drivers to LDR on an NXP IMX6Q SABRE-SD board, the authors report performance comparable to Linux with negligible overhead.