Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. - Kostyantyn Vorobyov; Padmanabhan Krishnan (ICST, 2012)

A Dynamic Approach to Locating Memory Leaks. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (ICTSS, 2013)

A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. - Bernhard Scholz; Kostyantyn Vorobyov; Padmanabhan Krishnan; Till Westmann (ASWEC, 2015)

A concise specification language for trace monitoring. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (SAC, 2015)

Enforcement of privacy requirements. - Padmanabhan Krishnan; Kostyantyn Vorobyov (Comput. Secur., 2015)

A low-overhead, value-tracking approach to information flow security. - Kostyantyn Vorobyov; Padmanabhan Krishnan; Phil Stocks (Inf. Softw. Technol., 2016)

Shadow state encoding for efficient monitoring of block-level properties. - Kostyantyn Vorobyov; Julien Signoles; Nikolai Kosmatov (ISMM, 2017)

E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). - Julien Signoles; Nikolai Kosmatov; Kostyantyn Vorobyov (RV-CuBES, 2017)

Runtime Detection of Temporal Memory Errors. - Kostyantyn Vorobyov; Nikolai Kosmatov; Julien Signoles; Arvid Jakobsson (RV, 2017)

Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. - Kostyantyn Vorobyov; Nikolai Kosmatov; Julien Signoles (TAP@STAF, 2018)

MoScan: a model-based vulnerability scanner for web single sign-on services. - Hanlin Wei; Behnaz Hassanshahi; Guangdong Bai; Padmanabhan Krishnan; Kostyantyn Vorobyov (ISSTA, 2021)

Scalable string analysis: an experience report. - Kostyantyn Vorobyov; Yang Zhao; Padmanabhan Krishnan (SOAP@PLDI, 2021)

Synthesis of Java Deserialisation Filters from Examples. - Kostyantyn Vorobyov; François Gauthier 001; Sora Bae; Padmanabhan Krishnan; Rebecca O'Donoghue (COMPSAC, 2022)

Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities. - Prashast Srivastava; Flavio Toffalini; Kostyantyn Vorobyov; François Gauthier 001; Antonio Bianchi; Mathias Payer (ESEC/SIGSOFT FSE, 2023)

Synthesis of Allowlists for Runtime Protection against SQLi. - Kostyantyn Vorobyov; François Gauthier 001; Padmanabhan Krishnan (NIER@ICSE, 2024)