Padmanabhan Krishnan

99 papers A 5B 9C 5Misc 7Journal 29Unranked 43
YearRankTypeTitle / Venue / Authors
2025 J jnl
From Benchmark Data To Applicable Program Repair: An Experience Report.
CoRR
Mahinthan Chandramohan, Jovan Jancic, Yuntong Zhang, Padmanabhan Krishnan
2025 — conf
Mimicry-Based Testing of Runtime SQLi Prevention Approaches.
SBFT@ICSE
Anjana Perera, François Gauthier, Kostyantyn Vorobyov, Matthew Harris, Padmanabhan Krishnan
2025 J jnl
Streamlining Security Vulnerability Triage with Large Language Models.
CoRR
Mohammad Jalili Torkamani, Joey NG, Nikita Mehrotra, Mahinthan Chandramohan, Padmanabhan Krishnan, Rahul Purandare
2024 J jnl
Supporting Cross-language Cross-project Bug Localization Using Pre-trained Language Models.
CoRR
Mahinthan Chandramohan, Dai Quoc Nguyen, Padmanabhan Krishnan, Jovan Jancic
2024 — conf
Synthesis of Allowlists for Runtime Protection against SQLi.
NIER@ICSE
Kostyantyn Vorobyov, François Gauthier, Padmanabhan Krishnan
2023 — conf
Macaron: A Logic-based Framework for Software Supply Chain Security Assurance.
SCORED@CCS
Behnaz Hassanshahi, Trong Nhan Mai, Alistair Michael, Benjamin Selwyn-Smith, Sophie Bates, Padmanabhan Krishnan
2023 J jnl
The role of program analysis in security vulnerability detection: Then and now.
Comput. Secur.
Cristina Cifuentes, François Gauthier, Behnaz Hassanshahi, Padmanabhan Krishnan, Davin McCall
2023 J jnl
Why Is Static Application Security Testing Hard to Learn?
IEEE Secur. Priv.
Padmanabhan Krishnan, Cristina Cifuentes, Li Li, Tegawendé F. Bissyandé, Jacques Klein
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
2021 — conf
Security Research: Program Analysis Meets Security.
ICTAC Summmer School
Padmanabhan Krishnan
2020 — conf
Coding Practices and Recommendations of Spring Security for Enterprise Applications.
SecDev
Mazharul Islam, Sazzadur Rahaman, Na Meng, Behnaz Hassanshahi, Padmanabhan Krishnan, Danfeng Daphne Yao
2020 J jnl
Coding Practices and Recommendations of Spring Security for Enterprise Applications.
CoRR
Mazharul Islam, Sazzadur Rahaman, Na Meng, Behnaz Hassanshahi, Padmanabhan Krishnan, Danfeng Yao
2020 — conf
Trade-offs in managing risk and technical debt in industrial research labs: an experience report.
TechDebt@ICSE
François Gauthier, Alexander Jordan, Padmanabhan Krishnan, Behnaz Hassanshahi, Jörn Guy Süß, Sora Bae, Hyunjun Lee
2019 — conf
Commit-time incremental analysis.
SOAP@PLDI
Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu
2018 — conf
Driver Generation for Java EE Web Applications.
ASWEC
Jens Dietrich, François Gauthier, Padmanabhan Krishnan
2018 — conf
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions.
SecDev
François Gauthier, Nathan Keynes, Nicholas Allen, Diane Corney, Padmanabhan Krishnan
2017 — conf
An efficient tunable selective points-to analysis for large codebases.
SOAP@PLDI
Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu
2017 Misc ed.
Distributed Computing and Internet Technology - 13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings
ICDCIT
Padmanabhan Krishnan, P. Radha Krishna, Laxmi Parida
2017 — conf
Evaluating quality of security testing of the JDK.
A-TEST@ESEC/SIGSOFT FSE
Padmanabhan Krishnan, Jerome Loh, Rebecca O'Donoghue, Larissa Meinicke
2017 C conf
Improving the Scalability of Automatic Linearizability Checking in SPIN.
ICFEM
Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan
2017 — conf
Inference of Security-Sensitive Entities in Libraries.
IEEE Symposium on Security and Privacy Workshops
Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra
2017 — conf
Machine learning for finding bugs: An initial report.
MaLTeSQuE
Timothy Chappell, Cristina Cifuentes, Padmanabhan Krishnan, Shlomo Geva
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
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques.
ACM SIGSOFT Softw. Eng. Notes
Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh
2015 — conf
Combining type-analysis with points-to analysis for analyzing Java library source-code.
SOAP@PLDI
Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz
2015 J jnl
Enforcement of privacy requirements.
Comput. Secur.
Padmanabhan Krishnan, Kostyantyn Vorobyov
2015 B conf
Staged Points-to Analysis for Large Code Bases.
CC
Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan
2014 B conf
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.
APLAS
Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan
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
2013 J jnl
Guest editorial to the special section on SEFM 2009.
Softw. Syst. Model.
Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone
2012 — conf
A Certification Process for Android Applications.
SEFM Satellite Events
Harsha K. Kalutarage, Padmanabhan Krishnan, Siraj Ahmed Shaikh
2012 — conf
A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles
FTSCS
Siraj Ahmed Shaikh, Padmanabhan Krishnan
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
2012 — conf
Effectiveness of Random Testing of Embedded Systems.
HICSS
Padmanabhan Krishnan, R. Venkatesh, Prasad Bokil, Tukaram Muske, P. Vijay Suman
2012 J jnl
Supporting Secure Information Flow: An Engineering Approach.
Int. J. e Collab.
Shane Bracher, Padmanabhan Krishnan
2011 — conf
Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach.
ICST Workshops
Padmanabhan Krishnan, Sergej Hafner, Andreas Zeiser
2011 J jnl
Wildlife Enforcement Monitoring System (WEMS): A solution to support compliance of Multilateral Environmental Agreements.
Gov. Inf. Q.
Remi Chandran, Padmanabhan Krishnan, Khoi Nguyen
2010 J jnl
A General Framework to Measure Organizational Risk during Information Systems Evolution and its Customization.
J. Res. Pract. Inf. Technol.
Aditya Agrawal, Gavin Finnie, Padmanabhan Krishnan
2010 — conf
Adding Service Engineering and Management to a Software Engineering Program.
CSEE&T
Gavin Finnie, Padmanabhan Krishnan
2010 Misc conf
Data generation in model-based testing.
SAC
Padmanabhan Krishnan, Percy Antonio Pari Salas
2009 — conf
Applying Use Cases to Describe the Role of Standards in e-Health Information Systems.
ISD
Emma Chávez, Gavin Finnie, Padmanabhan Krishnan
2009 — conf
Automated Software Testing of Asynchronous Systems.
MBT@ETAPS
Percy Antonio Pari Salas, Padmanabhan Krishnan
2009 — conf
Industry Academia Collaboration: An Experience Report at a Small University.
CSEE&T
Padmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas
2009 — conf
Model-Based Testing and the UML Testing Profile.
Semantics and Algebraic Specification
Padmanabhan Krishnan, Percy Antonio Pari Salas
2009 B ed.
Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009
SEFM
Dang Van Hung, Padmanabhan Krishnan
2008 — conf
A Taxonomy of E-Health Standards to Assist System Developers.
ISD
Emma Chávez, Padmanabhan Krishnan, Gavin Finnie
2008 Misc conf
Implementing secure document circulation: a prototype.
SAC
Shane Bracher, Padmanabhan Krishnan
2008 B conf
Testing Privacy Policies Using Models.
SEFM
Percy Antonio Pari Salas, Padmanabhan Krishnan
2007 — conf
ERP-ORE: A Framework to Measure Organizational Risk during ERP Systems Evolution in a Distribution Business.
ACIS
Aditya Agrawal, Gavin Finnie, Padmanabhan Krishnan
2007 — conf
Model-Based Security Vulnerability Testing.
ASWEC
Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross
2007 — conf
ORE: A Framework to Measure Organizational Risk Du.
ISD (2)
Aditya Agrawal, Gavin Finnie, Padmanabhan Krishnan
2007 — conf
Specification for Testing.
Formal Methods and Hybrid Real-Time Systems
Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
2006 — conf
A Framework for Checking Behavioral Compatibility for Component Selection.
ASWEC
Lei Wang, Padmanabhan Krishnan
2006 — conf
An Approach to Provisioning E-Commerce Applications with Commercial Components.
ICEBE
Lei Wang, Padmanabhan Krishnan
2006 A conf
Verifying BPEL Workflows Under Authorisation Constraints.
Business Process Management
Xiangpeng Zhao, Antonio Cerone, Padmanabhan Krishnan
2005 B conf
Enabling Security Testing from Specification to Code.
IFM
Shane Bracher, Padmanabhan Krishnan
2004 — conf
Analysis of initial use case descriptions.
IASTED Conf. on Software Engineering
Padmanabhan Krishnan
2004 C conf
Decomposing Controllers into Non-conflicting Distributed Controllers.
ICTAC
Padmanabhan Krishnan
2004 J jnl
Independent examination of software: an experiment.
Inf. Softw. Technol.
Padmanabhan Krishnan
2004 Misc conf
Supporting Partial Component Matching.
ICDCIT
Padmanabhan Krishnan, Lei Wang
2004 — conf
Uniform Descriptions for Model Based Testing.
Australian Software Engineering Conference
Padmanabhan Krishnan
2003 J jnl
Automatic synthesis of a subclass of schedulers in timed systems.
Theor. Comput. Sci.
Padmanabhan Krishnan
2003 — conf
User Assisted Verification of Non-Repudiation and Similar Properties.
Security and Management
Padmanabhan Krishnan, Robert Bannerman
2002 Misc conf
A Framework for Security and Control.
PDPTA
Padmanabhan Krishnan
2002 J jnl
A tool based approach to checking logical consistency in accident reports.
Reliab. Eng. Syst. Saf.
Padmanabhan Krishnan
2002 C conf
Providing Assistance for Proofs in the Teaching of Theory of Computation.
ICCE
Padmanabhan Krishnan
2002 — conf
Using Model Checking to Test a Firewall : A Case Study.
EUROMICRO
Padmanabhan Krishnan, Danita Hartley
2001 — conf
An Environment for Specifying and Verifying Security Properties.
Australian Software Engineering Conference
Andre Renaud, Padmanabhan Krishnan
2001 J jnl
Decomposing Timed Push Down Automata.
Fundam. Informaticae
Padmanabhan Krishnan
2001 J jnl
Prototyping Electronic Commerce Systems Using Esterel.
J. Organ. Comput. Electron. Commer.
Padmanabhan Krishnan
2000 — conf
Automatic synthesis of schedulers in timed systems.
CATS
Padmanabhan Krishnan
2000 C conf
Consistency checks for UML.
APSEC
Padmanabhan Krishnan
1999 J jnl
Decomposition of Timed Automata.
J. Univers. Comput. Sci.
Kahn Mason, Padmanabhan Krishnan
1999 — conf
Distributed timed automata.
WDS@FCT
Padmanabhan Krishnan
1999 J jnl
Issues Related to Distributed Processing of Picture Languages.
J. Univers. Comput. Sci.
Padmanabhan Krishnan
1997 J jnl
An Asynchronous Calculus Based on the Absence of Actions.
J. Univers. Comput. Sci.
Padmanabhan Krishnan
1996 — conf
A Process Algebraic View of Linear Logic.
DMTCS
Padmanabhan Krishnan, Jane Hopkins
1996 J jnl
Architectural CCS.
Formal Aspects Comput.
Padmanabhan Krishnan
1995 J jnl
Deriving distributed processes from concurrent processes.
Inf. Softw. Technol.
Padmanabhan Krishnan
1994 J jnl
A Semantic Characterisation for Faults in Replicated Systems.
Theor. Comput. Sci.
Padmanabhan Krishnan
1994 J jnl
A case study in specifying and testing architectural features.
Microprocess. Microsystems
Padmanabhan Krishnan
1994 J jnl
Corrigendum.
Microprocess. Microsystems
Padmanabhan Krishnan
1994 J jnl
Formal methods and design extraction: a pilot study.
Inf. Softw. Technol.
Padmanabhan Krishnan
1993 J jnl
Specification of systems with interrupts.
J. Syst. Softw.
Padmanabhan Krishnan
1992 A conf
A Semantics for Multiprocessor Systems.
ESOP
Padmanabhan Krishnan
1992 — conf
Specifying Asynchronous Transfer of Control.
FTRTFT
Padmanabhan Krishnan, Peter D. Mosses
1991 B conf
A Model for Real-Time Systems.
MFCS
Padmanabhan Krishnan
1991 B conf
Distributed CCS.
CONCUR
Padmanabhan Krishnan
1991 — conf
Real-time action.
RTS
Padmanabhan Krishnan
1989 A conf
A Distributed Real-Time Language and Its Operational Semantics.
RTSS
Padmanabhan Krishnan, Richard A. Volz
1989 — —
A distributed real-time language and its operational semantics.
Padmanabhan Krishnan
1989 J jnl
Translation and Execution of Distributed Ada Programs: Is It Still Ada?
IEEE Trans. Software Eng.
Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan
1988 — conf
Implementation of task types in distributed Ada.
IRTAW
Padmanabhan Krishnan, Richard A. Volz, Ron Theriault