- SemanticsAware Malware Detection Mihai Christodorescu # Somesh Jha #
- Formalizing Sensitivity in Static Analysis for Intrusion Detection Henry Hanping Feng # , Jonathon T. Giffin + , Yong Huang # ,
- Efficient Type Matching University of Wisconsin
- Privacy Preserving Clustering S. Jha 1 , L. Kruger 1 , and P. McDaniel 2
- Published in the Proceedings of the 12 th USENIX Security Symposium (Security'03), pages 169186, August 48, 2003, Washington DC, USA.
- Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis
- Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis ?
- Markov Chains, Classifiers, and Intrusion Detection
- Efficient Context-Sensitive Intrusion Detection Jonathon T. Giffin Somesh Jha Barton P. Miller
- Efficient ContextSensitive Intrusion Detection Jonathon T. Giffin Somesh Jha Barton P. Miller
- E#cient Type Matching # University of Wisconsin +
- Automatic Discovery of APILevel Exploits Vinod Ganapathy + , Sanjit A. Seshia , Somesh Jha + , Thomas W. Reps + , Randal E. Bryant
- Markov Chains, Classifiers, and Intrusion Detection
- Global Intrusion Detection in the DOMINO Overlay System Anonymous Submission
- Automated Generation and Analysis of Attack Graphs Oleg Sheyner
- EnvironmentSensitive Intrusion Detection Jonathon T. Giffin 1 , David Dagon 2 , Somesh Jha 1 , Wenke Lee 2 , and Barton P. Miller 1
- Published in the Proceedings of the 12th USENIX Security Symposium
- Environment-Sensitive Intrusion Detection Jonathon T. Giffin1
- Survivability Analysis of Networked Systems # Computer Sciences Department
- Automated Discovery of Mimicry Attacks Jonathon T. Giffin, Somesh Jha, and Barton P. Miller
- Global Intrusion Detection in the DOMINO Overlay System V. Yegneswaran and P. Barford and S. Jha
- Two Formal Analyses of Attack Graphs # Computer Sciences Department
- Automatic Generation and Analysis of NIDS Attacks Shai Rubin, Somesh Jha, and Barton P. Miller
- Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song
- Buffer Overrun Detection using Linear Programming and Static Analysis
- Analysis of SPKI/SDSI Certificates Using Model Checking S. Jha and T. Reps
- On the Completeness of Attack Mutation Algorithms Shai Rubin, Somesh Jha, and Barton P. Miller
- Automatic Generation and Analysis of NIDS Attacks Shai Rubin, Somesh Jha, and Barton P. Miller
- An Architecture for Generating SemanticsAware Signatures Vinod Yegneswaran Jonathon T. Giffin Paul Barford Somesh Jha
- Detecting Manipulated Remote Call Streams Internet, mobile
- Appeared in IEEE Symposium on Security and Privacy, 2005 1 Language-Based Generation and Evaluation of NIDS Signatures
- Weighted Pushdown Systems and TrustManagement Systems
- To appear in the Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'04), July 1114, 2004, Boston, Massachusetts, USA.
- Two Formal Analyses of Attack Graphs Computer Sciences Department
- Analysis of SPKI/SDSI Certificates Using Model Checking # S. Jha and T. Reps
- Computer Sciences Department University of Wisconsin
- Automated Discovery of Mimicry Attacks Jonathon T. Giffin, Somesh Jha, and Barton P. Miller
- Automatic Discovery of API-Level Exploits Vinod Ganapathy
- Semantics-Aware Malware Detection Mihai Christodorescu
- Formalizing Sensitivity in Static Analysis for Intrusion Detection Henry Hanping Feng
- Security Policy Reconciliation in Distributed Computing Environments
- To appear in the Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'04), July 11-14, 2004, Boston, Massachusetts, USA.
- Detecting Manipulated Remote Call Streams In the Internet, mobile code is ubiquitous and includes such examples as browser plug-ins, Java applets, and document macros. In
- Oleg Sheyner Computer Science Department
- Survivability Analysis of Networked Systems Computer Sciences Department
- An Architecture for Generating Semantics-Aware Signatures Vinod Yegneswaran Jonathon T. Giffin Paul Barford Somesh Jha
- Privacy Preserving Clustering , L. Kruger1
