A Formal Approach to Secure Speculation. - Kevin Cheang; Cameron Rasmussen; Sanjit A. Seshia; Pramod Subramanyan (IACR Cryptol. ePrint Arch., 2019)

The Move Prover. - Jingyi Emma Zhong; Kevin Cheang; Shaz Qadeer; Wolfgang Grieskamp; Sam Blackshear; Junkil Park; Yoni Zohar; Clark W. Barrett; David L. Dill (CAV (1), 2020)

Synthesis in Uclid5. - Federico Mora 002; Kevin Cheang; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2020)

UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. - Elizabeth Polgreen; Kevin Cheang; Pranav Gaddamadugu; Adwait Godbole; Kevin Laeufer; Shaokai Lin; Yatin A. Manerkar; Federico Mora 002; Sanjit A. Seshia (CAV (1), 2022)

Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. - Dayeol Lee; Kevin Cheang; Alexander Thomas; Catherine Lu; Pranav Gaddamadugu; Anjo Vahldiek-Oberwagner; Mona Vij; Dawn Song; Sanjit A. Seshia; Krste Asanovic (CCS, 2022)

Verifying RISC-V Physical Memory Protection. - Kevin Cheang; Cameron Rasmussen; Dayeol Lee; David W. Kohlbrenner; Krste Asanovic; Sanjit A. Seshia (CoRR, 2022)

Formal Specification and Verification of Secure Information Flow for Hardware Platforms - Kevin Cheang (2023)

Lifting Micro-Update Models from RTL for Formal Security Analysis. - Adwait Godbole; Kevin Cheang; Yatin A. Manerkar; Sanjit A. Seshia (ASPLOS (2), 2024)