Padmanabhan Krishnan

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 21

Top Topics

Intrusion Detection

Test Suite Reduction

Security Vulnerabilities

Specification Language

Top Venues

Publications

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