Robuta

https://dblp.org/rec/conf/sp/BognarBP22.html
Bibliographic details on Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures.
provably securedblpmindgapstudying