Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. - Stella Lau; Victor B. F. Gomes; Kayvan Memarian; Jean Pichon-Pharabod; Peter Sewell (CAV (1), 2019)

Effective simulation and debugging for a high-level hardware language using software compilers. - Clément Pit-Claudel; Thomas Bourgeat; Stella Lau; Arvind 001; Adam Chlipala (ASPLOS, 2021)

Pensieve: Microarchitectural Modeling for Security Evaluation. - Yuheng Yang; Thomas Bourgeat; Stella Lau; Mengjia Yan 001 (ISCA, 2023)

Nimble: Rollback Protection for Confidential Cloud Services. - Sebastian Angel; Aditya Basu; Weidong Cui; Trent Jaeger; Stella Lau; Srinath T. V. Setty; Sudheesh Singanamalla (OSDI, 2023)

Nimble: Rollback Protection for Confidential Cloud Services (extended version). - Sebastian Angel; Aditya Basu; Weidong Cui; Trent Jaeger; Stella Lau; Srinath T. V. Setty; Sudheesh Singanamalla (IACR Cryptol. ePrint Arch., 2023)

Specification and Verification of Strong Timing Isolation of Hardware Enclaves. - Stella Lau; Thomas Bourgeat; Clément Pit-Claudel; Adam Chlipala (CCS, 2024)