A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers.

Salvatore Bramante, Matteo Busi, Alessandro Cilardo, Riccardo Focardi, Flaminia L. Luccio, Stefano Mercogliano

Browse the full DATE paper archive.