Efficiency Enhancements for Practical Techniques for Searches on Encrypted Data. - Pansilu Pitigalaarachchi; Chandana Gamage (ICCSP, 2020)

KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis. - Pansilu Pitigalaarachchi; Xuhua Ding; Haiqing Qiu; Haoxin Tu; Jiaqi Hong; Lingxiao Jiang (CCS, 2023)

Symbolic Execution for Dynamic Kernel Analysis. - Pansilu Pitigalaarachchi (CCS, 2024)