| A Formal Approach to Secure Speculation K Cheang, C Rasmussen, S Seshia, P Subramanyan | 99* | |
| Understanding and extending incremental determinization for 2QBF MN Rabe, L Tentrup, C Rasmussen, SA Seshia Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 28 | 2018 |
| Verifying RISC-V physical memory protection K Cheang, C Rasmussen, D Lee, DW Kohlbrenner, K Asanović, ... arXiv preprint arXiv:2211.02179, 2022 | 25 | 2022 |
| 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 | 7 | 2018 |
| Secure Speculation: From Vulnerability to Assurances with UCLID5 C Rasmussen Master’s Thesis, EECS Department, University of California, Berkeley, 2019 | 2 | 2019 |
