Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor. - Charly Castes; Neelu Shivprakash Kalani; Sofia Saltovskaia; Noé Terrier; Abel Vexina Wilkinson; Edouard Bugnion (KISV@SOSP, 2024)