Principled Symbolic Validation of Enclaves on Low-End Microcontrollers. - Gert-Jan Goossens; Jo Van Bulck (EuroS&P (Workshops), 2025)