Formalization and Verification of the PSTM Architecture.

Ailun Liu, Miroslav Popovic, Huibiao Zhu

Browse the full APSEC paper archive.