 | 2009 |
|---|
| 8 |       | Cynthia Sturton,
Susmit Jha,
Sanjit A. Seshia,
David Wagner:
On voting machine design for verification and testability.
ACM Conference on Computer and Communications Security 2009: 463-476 |
| 7 | | Susmit Jha,
Rhishikesh Limaye,
Sanjit A. Seshia:
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.
CAV 2009: 668-674 |
| 6 | | Susmit Jha,
Sanjit A. Seshia,
Rhishikesh Limaye:
On the Computational Complexity of Satisfiability Solving for String Theories
CoRR abs/0903.2825: (2009) |
| 5 | | Susmit Jha:
Statistical Analysis of Privacy and Anonymity Guarantees in Randomized Security Protocol Implementations
CoRR abs/0906.5110: (2009) |
| 2008 |
|---|
| 4 | | Susmit Jha,
Sumit Kumar Jha:
Randomization Based Probabilistic Approach to Detect Trojan Circuits.
HASE 2008: 117-124 |
| 3 | | Sumit Kumar Jha,
Susmit Jha:
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking.
HASE 2008: 147-153 |
| 2007 |
|---|
| 2 | | Susmit Jha,
Bryan A. Brady,
Sanjit A. Seshia:
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.
FORMATS 2007: 241-256 |
| 2006 |
|---|
| 1 | | Susmit Jha,
R. K. Shyamasundar:
Adapting Biochemical Kripke Structures for Distributed Model Checking.
T. Comp. Sys. Biology: 107-122 (2006) |
