Cameron Rasmussen

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Security Issues

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia
Verifying RISC-V Physical Memory Protection. CoRR (2022)
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Understanding and Extending Incremental Determinization for 2QBF. CoRR (2019)
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan
A Formal Approach to Secure Speculation. CSF (2019)
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan
A Formal Approach to Secure Speculation. IACR Cryptol. ePrint Arch. 2019 (2019)
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Understanding and Extending Incremental Determinization for 2QBF. CAV (2) (2018)