Follow
Cameron Rasmussen
Cameron Rasmussen
Verified email at berkeley.edu
Title
Cited by
Cited by
Year
A Formal Approach to Secure Speculation
K Cheang, C Rasmussen, S Seshia, P Subramanyan
45*
Understanding and extending incremental determinization for 2QBF
MN Rabe, L Tentrup, C Rasmussen, SA Seshia
International Conference on Computer Aided Verification, 256-274, 2018
222018
Keystone enclave: An open-source secure enclave for risc-v
D Lee, D Kohlbrenner, K Cheang, C Rasmussen, K Laeufer, I Fang, ...
RISC-V Summit, Santa Clara, 2018
52018
Verifying RISC-V physical memory protection
K Cheang, C Rasmussen, D Lee, DW Kohlbrenner, K Asanovic, ...
IEEE International Symposium on Performance Analysis of Systems and Software …, 2020
32020
Secure Speculation: From Vulnerability to Assurances with UCLID5
C Rasmussen
Master’s Thesis, EECS Department, University of California, Berkeley, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–5