Gert-Jan Goossens, Jo Van Bulck. Principled Symbolic Validation of Enclaves on Low-End Microcontrollers. In IEEE European Symposium on Security and Privacy, EuroS&P 2025 - Workshops, Venice, Italy, June 30 - July 4, 2025. pages 435-447, IEEE, 2025. [doi]
Abstract is missing.