| Verifying the verifier: ebpf range analysis verification H Vishwanathan, M Shachnai, S Narayana, S Nagarakatte International Conference on Computer Aided Verification, 226-251, 2023 | 19 | 2023 |
| Sound, precise, and fast abstract interpretation with tristate numbers H Vishwanathan, M Shachnai, S Narayana, S Nagarakatte 2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022 | 19 | 2022 |
| Semantics verification and efficient implementations for tristate numbers H Vishwanathan, M Shachnai, S Narayana, S Nagarakatte arXiv: 2105.05398, 2021 | 1 | 2021 |
| Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel M Shachnai, H Vishwanathan, S Narayana, S Nagarakatte International Static Analysis Symposium, 386-406, 2024 | | 2024 |
| Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications (poster) H Vishwanathan, CM Park, SK Mishra, K Dantu, SY Ko, L Ziarek Proceedings of the 17th Annual International Conference on Mobile Systems …, 2019 | | 2019 |
| Poster: Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications H Vishwanathan, CM Park, SK Mishra, K Dantu, SY Ko, L Ziarek | | 2019 |
| Operators in the eBPF Verifier M Shachnai, H Vishwanathan, S Narayana Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA …, 0 | | |
| Developing Verified Static Analyzers for Kernel Extensions: A Related Work Report H Vishwanathan | | |
