Stella Lau

According to our database, Stella Lau authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Nimble: Rollback Protection for Confidential Cloud Services.

Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Pensieve: Microarchitectural Modeling for Security Evaluation.

Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan

Proceedings of the 50th Annual International Symposium on Computer Architecture, 2023

2021

Effective simulation and debugging for a high-level hardware language using software compilers.

Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019