Certified Secure Updates for IoT Devices. - Alberto Tacchella; Emanuele Beozzo; Bruno Crispo; Marco Roveri (SEC (1), 2025)