| 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 | ICTAC | Security Research: Program Analysis Meets Security. | Padmanabhan Krishnan |
| 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 |
| 2020 | ICSE | Trade-offs in managing risk and technical debt in industrial research labs: an experience report. | Franois Gauthier, Alexander Jordan, Padmanabhan Krishnan, Behnaz Hassanshahi, Jrn Guy S, Sora Bae, Hyunjun Lee |
| 2019 | PLDI | Commit-time incremental analysis. | Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu |
| 2017 | ICFEM | Improving the Scalability of Automatic Linearizability Checking in SPIN. | Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan |
| 2017 | PLDI | An efficient tunable selective points-to analysis for large codebases. | Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu |
| 2017 | SP | Inference of Security-Sensitive Entities in Libraries. | Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra |
| 2015 | CC | Staged Points-to Analysis for Large Code Bases. | Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan |
| 2015 | PLDI | Combining type-analysis with points-to analysis for analyzing Java library source-code. | Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz |
| 2015 | SAC | A concise specification language for trace monitoring. | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
| 2014 | APLAS | A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. | Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan |
| 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 Certification Process for Android Applications. | Harsha K. Kalutarage, Padmanabhan Krishnan, Siraj Ahmed Shaikh |
| 2012 | SEFM | A Low-Overhead, Value-Tracking Approach to Information Flow Security. | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
| 2011 | ICST | Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach. | Padmanabhan Krishnan, Sergej Hafner, Andreas Zeiser |
| 2010 | SAC | Data generation in model-based testing. | Padmanabhan Krishnan, Percy Antonio Pari Salas |
| 2008 | SAC | Implementing secure document circulation: a prototype. | Shane Bracher, Padmanabhan Krishnan |
| 2008 | SEFM | Testing Privacy Policies Using Models. | Percy Antonio Pari Salas, Padmanabhan Krishnan |
| 2006 | BPM | Verifying BPEL Workflows Under Authorisation Constraints. | Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan |
| 2005 | IFM | Enabling Security Testing from Specification to Code. | Shane Bracher, Padmanabhan Krishnan |
| 2004 | ICDCIT | Supporting Partial Component Matching. | Padmanabhan Krishnan, Lei Wang |
| 2004 | ICTAC | Decomposing Controllers into Non-conflicting Distributed Controllers. | Padmanabhan Krishnan |
| 2002 | ICCE | Providing Assistance for Proofs in the Teaching of Theory of Computation. | Padmanabhan Krishnan |
| 2002 | PDPTA | A Framework for Security and Control. | Padmanabhan Krishnan |
| 2000 | APSEC | Consistency checks for UML. | Padmanabhan Krishnan |
| 1992 | ESOP | A Semantics for Multiprocessor Systems. | Padmanabhan Krishnan |
| 1991 | CONCUR | Distributed CCS. | Padmanabhan Krishnan |
| 1991 | ECRTS | Real-time action. | Padmanabhan Krishnan |
| 1991 | MFCS | A Model for Real-Time Systems. | Padmanabhan Krishnan |
| 1989 | RTSS | A Distributed Real-Time Language and Its Operational Semantics. | Padmanabhan Krishnan, Richard A. Volz |