publications

2023

  1. Formal Specification and Verification of Secure Information Flow for Hardware Platforms
    Kevin Cheang
    University of California, Berkeley , 2023

2022

  1. CCS
    Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
    Dayeol Lee ,  Kevin Cheang ,  Alexander Thomas , and 7 more authors
    In ACM Conference on Computer and Communications Security , Nov 2022
  2. CAV
    UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
    Elizabeth Polgreen ,  Kevin Cheang ,  Pranav Gaddamadugu , and 5 more authors
    In The 34th International Conference on Computer Aided Verification (CAV), August 2022 , Aug 2022

2020

  1. CAV
    The Move Prover
    Jingyi Emma Zhong ,  Kevin Cheang ,  Shaz Qadeer , and 6 more authors
    In Proceedings of the 32nd International Conference on Computer Aided Verification (CAV ’20) , Jul 2020
  2. SYNT
    Synthesis in Uclid5
    Federico Mora ,  Kevin Cheang ,  Elizabeth Polgreen , and 1 more author
    In Workshop on Synthesis (SYNT ’20), Virtual, , Jul 2020
  3. SECRISC-V
    Verifying RISC-V Physical Memory Protection
    Kevin Cheang ,  Cameron Rasmussen ,  Dayeol Lee , and 3 more authors
    In International Workshop on Secure RISC-V Architecture Design Exploration (SECRISC-V’20), Boston, Massachusetts, USA, , Jul 2020

2019

  1. CSF
    A Formal Approach to Secure Speculation
    Kevin Cheang ,  Cameron Rasmussen ,  Sanjit A. Seshia , and 1 more author
    In 32nd IEEE Computer Security Foundations Symposium (CSF ’19), Hoboken, NJ, USA, , Jul 2019