dTEE: A Declarative Approach to Secure IoT Applications Using TrustZone

Published in ACM/IEEE IPSN, 2024