1. ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
2. Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
3. TrivialSpy: Identifying Software Triviality via Fine-grained and Dataflow-based Value Profiling;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2023-11-11
4. Opening Pandora’s Box: A Systematic Study of New Ways Microarchitecture Can Leak Private Data;2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture (ISCA);2021-06
5. Reducing Energy in GPGPUs through Approximate Trivial Bypassing;ACM Transactions on Embedded Computing Systems;2021-03-31