Modelling and Verification of Security-Oriented Resource Partitioning Schemes. - Adwait Godbole; Leiqi Ye; Yatin A. Manerkar; Sanjit A. Seshia (FMCAD, 2023)