dTEE: A Declarative Approach to Secure IoT Applications Using TrustZone

T Sun, B Li, Y Teng, Y Gao… - 2024 23rd ACM/IEEE …, 2024 - ieeexplore.ieee.org
Internet of Things (IoT) applications have recently been widely used in safety-critical
scenarios. To prevent sensitive information leaks, IoT device vendors provide hardware …

[PDF][PDF] dTEE: A Declarative Approach to Secure IoT Applications Using TrustZone

T Sun, B Li, Y Teng, Y Gao, W Dong - suntong30.github.io
ABSTRACT Internet of Things (IoT) applications have recently been widely used in safety-
critical scenarios. To prevent sensitive information leaks, IoT device vendors provide …