Kevin Cheang

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Fusing Multiple

Security Analysis

Top Venues

Publications

Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia
Lifting Micro-Update Models from RTL for Formal Security Analysis. ASPLOS (2) (2024)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. CoRR (2022)
Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia
Verifying RISC-V Physical Memory Protection. CoRR (2022)
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CCS (2022)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. CAV (1) (2022)
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CoRR (2022)
Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia
Synthesis in Uclid5. CoRR (2020)
Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
The Move Prover. CAV (1) (2020)
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)