| 2024 | ICSE | Synthesis of Allowlists for Runtime Protection against SQLi. | Kostyantyn Vorobyov, Franois Gauthier, Padmanabhan Krishnan |
| 2022 | COMPSAC | Synthesis of Java Deserialisation Filters from Examples. | Kostyantyn Vorobyov, Franois Gauthier, Sora Bae, Padmanabhan Krishnan, Rebecca O'Donoghue |
| 2021 | ISSTA | MoScan: a model-based vulnerability scanner for web single sign-on services. | Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov |
| 2021 | PLDI | Scalable string analysis: an experience report. | Kostyantyn Vorobyov, Yang Zhao, Padmanabhan Krishnan |
| 2018 | TAP | Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles |
| 2017 | RV | E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). | Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov |
| 2017 | RV | Runtime Detection of Temporal Memory Errors. | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson |
| 2015 | SAC | A concise specification language for trace monitoring. | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
| 2013 | SEC | Enforcement of Privacy Requirements. | Padmanabhan Krishnan, Kostyantyn Vorobyov |
| 2012 | ICST | Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. | Kostyantyn Vorobyov, Padmanabhan Krishnan |
| 2012 | SEFM | A Low-Overhead, Value-Tracking Approach to Information Flow Security. | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |