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)

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)

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)

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

Damien Octeau, Patrick D. 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)

Static Analysis of Executables to Detect Malicious Patterns

Mihai Christodorescu, Somesh Jha
USENIX Security Symposium
2003

Malicious code detection is a crucial component of any defense mechanism. In this paper, we present a unique viewpoint on malicious code detection. We regard malicious code detection as an… (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)

Two Formal Analys s of Attack Graphs

Somesh Jha, Oleg Sheyner, Jeannette M. Wing
CSFW
2002

An attack graph is a succinct representation of all paths through a system that end in a state where an intruder has successfully achieved his goal. Today Red Teams determine the vulnerability of… (More)

Filter Results:

Publication Year

Publication Type

Co-author

Journals and Conferences