Stella Lau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | Specification and Verification of Strong Timing Isolation of Hardware Enclaves. | Stella Lau, Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala |
| 2023 | ISCA | Pensieve: Microarchitectural Modeling for Security Evaluation. | Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan |
| 2023 | OSDI | Nimble: Rollback Protection for Confidential Cloud Services. | Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla |
| 2021 | ASPLOS | Effective simulation and debugging for a high-level hardware language using software compilers. | Clment Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala |
| 2019 | CAV | 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 |