dTEE: A Declarative Approach to Secure IoT Applications Using TrustZone

Published in Information Processing in Sensor Networks (IPSN), 2024