Kevin Cheang

12 papers A* 1A 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Learning to Triage Taint Flows Reported by Dynamic Program Analysis in Node.js Packages.
CoRR
Ronghao Ni, Aidan Z. H. Yang, Min-Chien Hsu, Nuno Sabino, Limin Jia, Ruben Martins, Darion Cassel, Kevin Cheang
2024 — conf
Lifting Micro-Update Models from RTL for Formal Security Analysis.
ASPLOS (2)
Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia
2023 — —
Formal Specification and Verification of Secure Information Flow for Hardware Platforms
Kevin Cheang
2022 A* conf
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.
CCS
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic
2022 J jnl
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.
CoRR
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic
2022 J jnl
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis.
CoRR
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2022 — conf
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.
CAV (1)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2022 J jnl
Verifying RISC-V Physical Memory Protection.
CoRR
Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia
2020 J jnl
Synthesis in Uclid5.
CoRR
Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia
2020 — conf
The Move Prover.
CAV (1)
Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
2019 A conf
A Formal Approach to Secure Speculation.
CSF
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan
2019 J jnl
A Formal Approach to Secure Speculation.
IACR Cryptol. ePrint Arch.
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan