1. Software Side Channel Vulnerability Detection Based on Similarity Calculation and Deep Learning;2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2022-12
2. HAMRAZ: Resilient Partitioning and Replication;2022 IEEE Symposium on Security and Privacy (SP);2022-05
3. Session Logical Relations for Noninterference;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
4. A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems;2020 International Symposium on Theoretical Aspects of Software Engineering (TASE);2020-12
5. A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12