Pansilu Pitigalaarachchi

According to our database, Pansilu Pitigalaarachchi authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A System Framework to Symbolically Explore Intel TDX Module Execution.

Pansilu Pitigalaarachchi, Xuhua Ding

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

Symbolic Execution for Dynamic Kernel Analysis.

Pansilu Pitigalaarachchi

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.

Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2020

Efficiency Enhancements for Practical Techniques for Searches on Encrypted Data.

Pansilu Pitigalaarachchi, Chandana Gamage

Proceedings of the ICCSP 2020: 4th International Conference on Cryptography, 2020