1. Detecting Speculative Execution Vulnerabilities on Weak Memory Models;Lecture Notes in Computer Science;2024-09-11
2. Declassification Policy for Program Complexity Analysis;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Metadata Privacy Beyond Tunneling for Instant Messaging;2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P);2024-07-08
4. Program Analysis for Adaptive Data Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
5. Quantitative Robustness for Vulnerability Assessment;Proceedings of the ACM on Programming Languages;2024-06-20