| Casa: End-to-end quantitative security analysis of randomly mapped caches T Bourgeat, J Drean, Y Yang, L Tsai, J Emer, M Yan 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture …, 2020 | 52 | 2020 |
| DAGguise: mitigating memory timing side channels PW Deutsch, Y Yang, T Bourgeat, J Drean, JS Emer, M Yan Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 13 | 2022 |
| Pensieve: Microarchitectural Modeling for Security Evaluation Y Yang, T Bourgeat, S Lau, M Yan Proceedings of the 50th Annual International Symposium on Computer …, 2023 | 8 | 2023 |
| RTL Verification for Secure Speculation Using Contract Shadow Logic Q Tan, Y Yang, T Bourgeat, S Malik, M Yan arXiv preprint arXiv:2407.12232, 2024 | | 2024 |
| SoK: Understanding Design Choices and Pitfalls of Trusted Execution Environments M Li, Y Yang, G Chen, M Yan, Y Zhang Proceedings of the 19th ACM Asia Conference on Computer and Communications …, 2024 | | 2024 |
| CaSA: End-to-end Quantitative Security Analysis of Randomly Mapped Caches T Bourgeat, J Drean, Y Yang, L Tsai, J Emer, M Yan IEEE Design & Test, 2024 | | 2024 |
