Pansilu Pitigalaarachchi

According to our database¹, Pansilu Pitigalaarachchi authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Symbolic Execution for Dynamic Kernel Analysis.

[BibT_eX]

[DOI]

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

2023

KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.

[BibT_eX]

[DOI]

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

2020

Efficiency Enhancements for Practical Techniques for Searches on Encrypted Data.

[BibT_eX]

[DOI]

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