Somesh Jha

Sort by:

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
J. ACM
2003

The state explosion problem remains a major hurdle in applying symbolic model checking to large hardware designs. State space abstraction, having been essential for verifying designs of industrial… (More)

Automated Generation and Analysis of Attack Graphs

Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing
IEEE Symposium on Security and Privacy
2002

An integral part of modeling the global view of network security is constructing attack graphs. In practice, attack graphs are produced manually by Red Teams. Construction by hand, however, is… (More)

The Limitations of Deep Learning in Adversarial Settings

Nicolas Papernot, Patrick D. McDaniel, Somesh Jha, Matt Fredrikson, Z. Berkay Celik, Ananthram Swami
2016 IEEE European Symposium on Security and…
2016

Deep learning takes advantage of large datasets and computationally efficient training algorithms to outperform other approaches at various machine learning tasks. However, imperfections in the… (More)

Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks

Nicolas Papernot, Patrick D. McDaniel, Xi Wu, Somesh Jha, Ananthram Swami
2016 IEEE Symposium on Security and Privacy (SP)
2016

Deep learning algorithms have been shown to perform extremely well on many classical machine learning problems. However, recent studies have shown that deep learning, like other machine learning… (More)

Modular verification of software components in C

Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
IEEE Transactions on Software Engineering
2003

We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompose the verification… (More)

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis

Thomas W. Reps, Stefan Schwoon, Somesh Jha
SAS
2003

Recently, pushdown systems (PDSs) have been extended to weighted PDSs, in which each transition is labeled with a value, and the goal is to determine the meet-over-allpaths value (for paths that meet… (More)

Effective Inter-Component Communication Mapping in Android with Epicc : An Essential Step Towards Holistic Security Analysis

Damien Octeau, Patrick McDaniel, +4 authors Yves Le Traon
2013

Many threats present in smartphones are the result of interactions between application components, not just artifacts of single components. However, current techniques for identifying… (More)

Semantics-aware malware detection

Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant
2005 IEEE Symposium on Security and Privacy (S&P…
2005

A malware detector is a system that attempts to determine whether a program has malicious intent. In order to evade detection, malware writers (hackers) frequently use obfuscation to morph malware.… (More)

Deflating the big bang: fast and scalable deep packet inspection with extended finite automata

Randy Smith, Cristian Estan, Somesh Jha, Shijin Kong
SIGCOMM
2008

Deep packet inspection is playing an increasingly important role in the design of novel network services. Regular expressions are the language of choice for writing signatures, but standard DFA or… (More)

Static Analysis of Executables to Detect Malicious Patterns

Mihai Christodorescu, Somesh Jha
USENIX Security Symposium
2003

ion Patterns Abstraction pattern Γ : (V,O,C) V = { x1 : τ1, ..., xk : τk } O = 〈 I(v1, ..., vm) | I : τ1 × ... × τm → τ 〉 C = boolean expression involving static analysis predicates and logical… (More)

Filter Results:

Publication Year

Publication Type

Co-author

Journals and Conferences