Kostyantyn Vorobyov

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