75 citations · 85 across the 3 of their papers we have counts for
3 papers
cs.LG2017★ 75 cited
Output Range Analysis for Deep Neural Networks
Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan +1
Deep neural networks (NN) are extensively used for machine learning tasks such as image classification, perception and control of autonomous systems. Increasingly, these deep NNs a…
cs.CR2009★ 2 cited
Statistical Analysis of Privacy and Anonymity Guarantees in Randomized Security Protocol Implementations
Susmit Jha
Security protocols often use randomization to achieve probabilistic non-determinism. This non-determinism, in turn, is used in obfuscating the dependence of observable values on se…
cs.CC2009★ 8 cited
On the Computational Complexity of Satisfiability Solving for String Theories
Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye
Satisfiability solvers are increasingly playing a key role in software verification, with particularly effective use in the analysis of security vulnerabilities. String processing…