Cameron Rasmussen

According to our database, Cameron Rasmussen authored at least 3 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Verifying RISC-V Physical Memory Protection.

Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia

CoRR, 2022

2019

A Formal Approach to Secure Speculation.

Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan

IACR Cryptol. ePrint Arch., 2019

2018

Understanding and Extending Incremental Determinization for 2QBF.

Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 30th International Conference, 2018