World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
89
Citations
42878
World Ranking
634
National Ranking
337

Research.com Recognitions

  • 2018 - IEEE Fellow For contributions to the application of formal methods to security
  • 2016 - ACM Fellow For contributions to verification, programming languages, and software engineering.
  • 2014 - ACM Distinguished Member

Overview

Somesh Jha is affiliated with the University of Wisconsin-Madison in the United States. Their primary field of study is Computer Science, with a focus on multiple subfields such as Artificial Intelligence, Computer Vision and Pattern Recognition, Information Systems, Signal Processing, and Sociology and Political Science.

The research topics covered in their work include:

  • Adversarial Robustness in Machine Learning
  • Privacy-Preserving Technologies in Data
  • Anomaly Detection Techniques and Applications
  • Cryptography and Data Security
  • Advanced Malware Detection Techniques
  • Software Engineering Research
  • Security and Verification in Computing

Jha's recent publications include:

  • "Semantic Robustness of Models of Source Code", 2022, published in the 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
  • "EIFFeL", 2022, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
  • "TRACE: Enterprise-Wide Provenance Tracking for Real-Time APT Detection", 2021, IEEE Transactions on Information Forensics and Security
  • "Identifying and Mitigating the Security Risks of Generative AI", 2023, Foundations and Trends® in Privacy and Security
  • "Face-Off: Adversarial Face Obfuscation", 2021, DOAJ (DOAJ: Directory of Open Access Journals)

The frequent coauthors collaborating with Jha include:

  • Jiefeng Chen
  • Yingyu Liang
  • Kassem Fawaz
  • Tianhao Wang
  • Xi Wu

Their contributions have been published extensively in venues such as:

  • arXiv (Cornell University)
  • Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
  • Proceedings on Privacy Enhancing Technologies
  • ACM Transactions on Cyber-Physical Systems
  • Formal Methods in System Design

Somesh Jha has been recognized through awards including the IEEE Fellow in 2018 for contributions to the application of formal methods to security, ACM Fellow in 2016 for their work in verification, programming languages, and software engineering, and was named an ACM Distinguished Member in 2014.

Best Publications

  • The Limitations of Deep Learning in Adversarial Settings

    Nicolas Papernot;Patrick McDaniel;Somesh Jha;Matt Fredrikson

  • Practical Black-Box Attacks against Machine Learning

    Nicolas Papernot;Patrick McDaniel;Ian Goodfellow;Somesh Jha

  • Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks

    Nicolas Papernot;Patrick McDaniel;Xi Wu;Somesh Jha

  • Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures

    Matt Fredrikson;Somesh Jha;Thomas Ristenpart

  • Automated generation and analysis of attack graphs

    O. Sheyner;J. Haines;S. Jha;R. Lippmann

  • Counterexample-guided abstraction refinement for symbolic model checking

    Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu

  • Semantics-aware malware detection

    M. Christodorescu;S. Jha;S.A. Seshia;D. Song

  • Static analysis of executables to detect malicious patterns

    Mihai Christodorescu;Somesh Jha

  • Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting

    Samuel Yeom;Irene Giacomelli;Matt Fredrikson;Somesh Jha

  • Two formal analyses of attack graphs

    S. Jha;O. Sheyner;J. Wing

  • Privacy in pharmacogenetics: an end-to-end case study of personalized warfarin dosing

    Matthew Fredrikson;Eric Lantz;Somesh Jha;Simon Lin

  • Modular verification of software components in C

    S. Chaki;E.M. Clarke;A. Groce;S. Jha

  • Mining specifications of malicious behavior

    Mihai Christodorescu;Somesh Jha;Christopher Kruegel

  • Effective inter-component communication mapping in Android with Epicc: an essential step towards holistic security analysis

    Damien Octeau;Patrick McDaniel;Somesh Jha;Alexandre Bartel

  • Practical Black-Box Attacks against Deep Learning Systems using Adversarial Examples.

    Nicolas Papernot;Patrick D. McDaniel;Ian J. Goodfellow;Somesh Jha

  • Testing malware detectors

    Mihai Christodorescu;Somesh Jha

  • Exploiting symmetry in temporal logic model checking

    E. M. Clarke;R. Enders;T. Filkorn;S. Jha

  • Mining specifications of malicious behavior

    Mihai Christodorescu;Somesh Jha;Christopher Kruegel

  • Towards automatic generation of vulnerability-based signatures

    D. Brumley;J. Newsome;D. Song;Hao Wang

  • Global Intrusion Detection in the DOMINO Overlay System.

    Vinod Yegneswaran;Paul Barford;Somesh Jha

  • Locally Differentially Private Protocols for Frequency Estimation

    Tianhao Wang;Jeremiah Blocki;Ninghui Li;Somesh Jha

  • Counterexample-Guide dAbstractio nRefinemen t ?

    Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu

Frequent Co-Authors

Edmund M. Clarke
Edmund M. Clarke Carnegie Mellon University
Thomas Reps
Thomas Reps University of Wisconsin–Madison
Mihai Christodorescu
Mihai Christodorescu Visa (United States)
Barton P. Miller
Barton P. Miller University of Wisconsin–Madison
Patrick McDaniel
Patrick McDaniel University of Wisconsin–Madison
Stefan Katzenbeisser
Stefan Katzenbeisser University of Passau
Ninghui Li
Ninghui Li Purdue University West Lafayette
Sanjit A. Seshia
Sanjit A. Seshia University of California, Berkeley
Ananthram Swami
Ananthram Swami United States Army Research Laboratory

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

With the demand for tech professionals soaring, students interested in Computer Science should consider related online degree options and flexible career pathways. For those seeking affordable education, exploring the cheapest data science degree programs in the USA can make a substantial difference in overall investment and return.

Beyond core computer science, fields like electrical engineering remain popular for online study. If you're interested in broadening your tech expertise, explore the top online electrical engineering schools for programs with strong reputations and flexible formats.

Fast-tracking your entrance into the workforce is another attractive option. Look into easy licenses and certifications to get that open doors to high-paying roles, especially for those seeking rapid upskilling without committing to lengthy degrees.

Finally, those seeking advanced credentials may benefit from pursuing the shortest masters degree options online, allowing you to upgrade your qualifications in a fraction of the usual time.

Best Scientists Citing Somesh Jha

Trending Scientists

Recently Published Articles