Stella Lau

Orcid: 0000-0003-3921-9440

According to our database1, Stella Lau authored at least 6 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Specification and Verification of Strong Timing Isolation of Hardware Enclaves.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023
Nimble: Rollback Protection for Confidential Cloud Services (extended version).
IACR Cryptol. ePrint Arch., 2023

Nimble: Rollback Protection for Confidential Cloud Services.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Pensieve: Microarchitectural Modeling for Security Evaluation.
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.
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.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019


  Loading...