papers
Publications (9)
cs.LG2019
Attribution-driven Causal Analysis for Detection of Adversarial Examples
Susmit Jha, Sunny Raj, Steven Lawrence Fernandes +5
cs.CC2009
On the Computational Complexity of Satisfiability Solving for String Theories
Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye
cs.LG2018
Trusted Neural Networks for Safety-Constrained Autonomous Control
Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati +3
cs.LG2017
Output Range Analysis for Deep Neural Networks
Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan +1
cs.AI2016
A Theory of Formal Synthesis via Inductive Learning
Susmit Jha, Sanjit A. Seshia
cs.CR2019
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents
Panagiota Kiourti, Kacper Wardega, Susmit Jha +1
cs.CR2009
Statistical Analysis of Privacy and Anonymity Guarantees in Randomized Security Protocol Implementations
Susmit Jha
cs.LG2018
Learning Task Specifications from Demonstrations
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari +2
cs.LO2014
Are There Good Mistakes? A Theoretical Analysis of CEGIS
Susmit Jha, Sanjit A. Seshia