Buffer overflow detection for C programs is hard to learn. - Yang Zhao; Xingzhong Du; Paddy Krishnan; Cristina Cifuentes (ISSTA/ECOOP Workshops, 2018)

Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. - Anastasios Antoniadis; Nikos Filippakis; Paddy Krishnan; Raghavendra Ramesh; Nicholas Allen; Yannis Smaragdakis (PLDI, 2020)

Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications. - Behnaz Hassanshahi; Hyunjun Lee; Paddy Krishnan; Jörn Guy Süß (CoRR, 2020)

Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications. - Behnaz Hassanshahi; Hyunjun Lee; Paddy Krishnan (SANER, 2022)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds. - Jens Dietrich 001; Tim White; Behnaz Hassanshahi; Paddy Krishnan (CoRR, 2024)