Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications. - Harishankar Vishwanathan; Chang Min Park; Sidharth Kumar Mishra; Karthik Dantu; Steven Y. Ko; Lukasz Ziarek (MobiSys, 2019)

Semantics, Verification, and Efficient Implementations for Tristate Numbers. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CoRR, 2021)

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CGO, 2022)

Verifying the Verifier: eBPF Range Analysis Verification. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CAV (3), 2023)

Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel. - Matan Shachnai; Harishankar Vishwanathan; Srinivas Narayana; Santosh Nagarakatte (SAS, 2024)