TickTock: Verified Isolation in a Production Embedded OS. - Vivien Rindisbacher; Evan Johnson 001; Nico Lehmann; Tyler Potyondy; Pat Pannuto; Stefan Savage; Deian Stefan; Ranjit Jhala (SOSP, 2025)