Kostyantyn Vorobyov

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 13

Top Topics

Security Vulnerabilities

Spatial Locality

Specification Language

Top Venues

Inf. Softw. Technol.

Publications

Kostyantyn Vorobyov, François Gauthier, Padmanabhan Krishnan
Synthesis of Allowlists for Runtime Protection against SQLi. NIER@ICSE (2024)
Prashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, François Gauthier, Antonio Bianchi, Mathias Payer
Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities. ESEC/SIGSOFT FSE (2023)
Kostyantyn Vorobyov, François Gauthier, Sora Bae, Padmanabhan Krishnan, Rebecca O'Donoghue
Synthesis of Java Deserialisation Filters from Examples. COMPSAC (2022)
Kostyantyn Vorobyov, Yang Zhao, Padmanabhan Krishnan
Scalable string analysis: an experience report. SOAP@PLDI (2021)
Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov
MoScan: a model-based vulnerability scanner for web single sign-on services. ISSTA (2021)
Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. TAP@STAF (2018)
Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson
Runtime Detection of Temporal Memory Errors. RV (2017)
Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). RV-CuBES (2017)
Kostyantyn Vorobyov, Julien Signoles, Nikolai Kosmatov
Shadow state encoding for efficient monitoring of block-level properties. ISMM (2017)
Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
A low-overhead, value-tracking approach to information flow security. Inf. Softw. Technol. 73 (2016)
Bernhard Scholz, Kostyantyn Vorobyov, Padmanabhan Krishnan, Till Westmann
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. ASWEC (2015)
Padmanabhan Krishnan, Kostyantyn Vorobyov
Enforcement of privacy requirements. Comput. Secur. 52 (2015)
Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
A concise specification language for trace monitoring. SAC (2015)
Padmanabhan Krishnan, Kostyantyn Vorobyov
Enforcement of Privacy Requirements. SEC (2013)
Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
A Dynamic Approach to Locating Memory Leaks. ICTSS (2013)
Kostyantyn Vorobyov, Padmanabhan Krishnan
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. ICST (2012)
Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
A Low-Overhead, Value-Tracking Approach to Information Flow Security. SEFM (2012)