Login / Signup
Paddy Krishnan
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 4
Top Topics
Web Applications
Abstract Interpretation
Mashup
Encryption Scheme
Top Venues
SANER
CoRR
PLDI
ISSTA/ECOOP Workshops
</>
Publications
</>
Behnaz Hassanshahi
,
Hyunjun Lee
,
Paddy Krishnan
Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications.
SANER
(2022)
Anastasios Antoniadis
,
Nikos Filippakis
,
Paddy Krishnan
,
Raghavendra Ramesh
,
Nicholas Allen
,
Yannis Smaragdakis
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room.
PLDI
(2020)
Behnaz Hassanshahi
,
Hyunjun Lee
,
Paddy Krishnan
,
Jörn Guy Süß
Gelato: Feedback-driven and Guided Security Analysis of Client-side Web Applications.
CoRR
(2020)
Yang Zhao
,
Xingzhong Du
,
Paddy Krishnan
,
Cristina Cifuentes
Buffer overflow detection for C programs is hard to learn.
ISSTA/ECOOP Workshops
(2018)