Stella Lau

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Modeling Language

Hardware Designs

Evaluation Measures

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
Nimble: Rollback Protection for Confidential Cloud Services (extended version). IACR Cryptol. ePrint Arch. 2023 (2023)
Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan
Pensieve: Microarchitectural Modeling for Security Evaluation. ISCA (2023)
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
Nimble: Rollback Protection for Confidential Cloud Services. OSDI (2023)
Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala
Effective simulation and debugging for a high-level hardware language using software compilers. ASPLOS (2021)
Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. CAV (1) (2019)