provably secure - Robuta Search

https://dblp.org/rec/conf/sp/BognarBP22.html

Bibliographic details on Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures.