Modelling and Verification of Security-Oriented Resource Partitioning Schemes.

Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia

Browse the full FMCAD paper archive.