75 citations · 280 across the 41 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
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…