Understanding and Extending Incremental Determinization for 2QBF. - Markus N. Rabe; Leander Tentrup; Cameron Rasmussen; Sanjit A. Seshia (CAV (2), 2018)

A Formal Approach to Secure Speculation. - Kevin Cheang; Cameron Rasmussen; Sanjit A. Seshia; Pramod Subramanyan (IACR Cryptol. ePrint Arch., 2019)

Verifying RISC-V Physical Memory Protection. - Kevin Cheang; Cameron Rasmussen; Dayeol Lee; David W. Kohlbrenner; Krste Asanovic; Sanjit A. Seshia (CoRR, 2022)