Kevin Cheang

According to our database, Kevin Cheang authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Lifting Micro-Update Models from RTL for Formal Security Analysis.

Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Formal Specification and Verification of Secure Information Flow for Hardware Platforms

Kevin Cheang

PhD thesis, 2023

2022

Verifying RISC-V Physical Memory Protection.

Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia

CoRR, 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

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

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, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

Synthesis in Uclid5.

Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2020

The Move Prover.

Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

A Formal Approach to Secure Speculation.

Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan

IACR Cryptol. ePrint Arch., 2019