Bognar, MartonMartonBognarVan Bulck, JoJoVan BulckPiessens, FrankFrankPiessens2023-05-302023-01-152023-05-3020221081-6011WOS:000852887300095https://imec-publications.be/handle/20.500.12860/40979Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution ArchitecturesProceedings paper10.1109/SP46214.2022.00049978-1-6654-1316-9WOS:000852887300095FORMAL VERIFICATIONSCIENCE