Sotabase

Career

· Amazon Web Services

Publications (10)

A Formal Approach to Secure Speculation
IEEE Computer Security Foundations Symposium · 2019
73
cited
The Move Prover
International Conference on Computer Aided Verification · 2020
37
cited
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Conference on Computer and Communications Security · 2022
19
cited
Verifying RISC-V Physical Memory Protection
arXiv.org · 2022
18
cited
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
International Conference on Computer Aided Verification · 2022
14
cited
Synthesis in Uclid5
arXiv.org · 2020
3
cited
Lifting Micro-Update Models from RTL for Formal Security Analysis
International Conference on Architectural Support for Programming Languages and Operating Systems · 2024
2
cited
Compositional Proofs of Information Flow Properties for Hardware-Software Platforms
2023
Edinburgh Research Explorer UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
2022
Specifying and Generating Abstract Models for Formal Security Analysis
Sotabase
Kevin Cheang | Researcher Profile | Sotabase | Sotabase