| A Formal Approach to Secure Speculation K Cheang, C Rasmussen, S Seshia, P Subramanyan 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 288-28815, 2019 | 102 | 2019 |
| The Move Prover JE Zhong, K Cheang, S Qadeer, W Grieskamp, S Blackshear, J Park, ... International Conference on Computer Aided Verification, 137-150, 2020 | 38 | 2020 |
| Verifying RISC-V Physical Memory Protection K Cheang, C Rasmussen, D Lee, DW Kohlbrenner, K Asanović, ... SECRISC-V / arXiv preprint arXiv:2211.02179, 2022 | 29 | 2022 |
| UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis E Polgreen, K Cheang, P Gaddamadugu, A Godbole, K Laeufer, S Lin, ... International Conference on Computer Aided Verification, 538-551, 2022 | 17 | 2022 |
| Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing K Cheang*, D Lee*, A Thomas, C Lu, P Gaddamadugu, ... The ACM Conference on Computer and Communications Security (CCS'22), 2022 | 13* | 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 | 8 | 2018 |
| Synthesis in UCLID5 F Mora, K Cheang, E Polgreen, SA Seshia arXiv preprint arXiv:2007.06760, 2020 | 5 | 2020 |
| Lifting Micro-Update Models from RTL for Formal Security Analysis A Godbole, K Cheang, YA Manerkar, SA Seshia ASPLOS '24: Proceedings of the 29th ACM International Conference on …, 2024 | 2 | 2024 |
| Compositional Proofs of Information Flow Properties for Hardware-Software Platforms K Cheang, A Godbole, YA Manerkar, SA Seshia Tech. rep. UCB/EECS-2023-204. EECS Department, University of California …, 2023 | 1 | 2023 |
| Specifying and Generating Abstract Models for Formal Security Analysis A Godbole, K Cheang, Y Manerkar, SA Seshia Tech. rep. UCB/EECS-2023-230. EECS Department, University of California …, 2023 | | 2023 |
| Formal Specification and Verification of Secure Information Flow for Hardware Platforms K Cheang University of California, Berkeley, 2023 | | 2023 |