MURI Review
February 14, 2005
Arlington, Virgina

Speaker and Talk PPT PDF
Somesh Jha: Project Overview X X
Gogul Balakrishnan: Identifying Variables in x86 Executables X X
Jonathon T. Giffin: Environment-Sensitive Intrusion Detection X X
Louis Kruger: The BREW Project at Sandia X X
Shai Rubin and Mihai Christodorescu: Testing Defensive Systems X X
Vinod Ganapathy: Automatic Discovery of API-Level Exploits X X
Hao Wang: Distributed Certificate-Chain Discovery X X

MURI Review
August 16, 2004
Annapolis, MD

Speaker and Talk PPT PDF
Somesh Jha: Project Overview X X
Thomas Reps: Codesurfer for x86
Mihai Christodorescu: A Threat Model Methodology for Generating Test Cases X X
Jonathon Giffin: Efficient Context-Sensitive Intrusion Detection X X

IEEE Symposium on Security and Privacy
May 9–12, 2004
Oakland, California

Speaker and Talk PPT PDF
Jonathon T. Giffin: Work in Progress

Presenting work done by Mihai Christodorescu, Shai Rubin, Somesh Jha, and Barton P. Miller.

X X

MURI Review
November 13, 2003
Baltimore, MD

Speaker and Talk PPT PDF
Somesh Jha: Vulnerability and Information Flow Analysis of COTS X X
Somesh Jha: Overview of the WiSA Infrastructure and Applications X X
Tim Teitelbaum, GrammaTech, Inc.: Support and Transition of Wisconsin CIP/URI X
Thomas Reps: Analyzing Memory Accesses in x86 Executables X X
Barton Miller: Attacks and Defenses X X
Somesh Jha: Wrap-Up X

MURI Workshop
July 22 - 23, 2003
Pittsburgh, PA

Speaker and Talk PPT PDF
Somesh Jha: Project Overview X X
WiSA Integrated Project Demos

Hao Wang: Binary Code Generation
Hong Lin: Dynamic Buffer Overflow Detection
Mihai Christodorescu: Malicious Code Obfuscation & Detection
Vinod Ganapathy: Static Buffer Overflow Detection
Gogul Balakrishnan: Value Set Analysis

X X
Mihai Christodorescu: Malware Detection Testing X X
Gogul Balakrishnan: Analyzing Memory Accesses in Object Code X X
Vinod Ganapathy: Static Analysis to Detect Buffer Overruns X X
Jonathon Giffin: Specification-Based Monitoring X X
Hao Wang and Louis Kruger: Combating Spyware X X

MURI Workshop
January 27 - 28, 2003
Williamsburg, VA

Speaker and Talk PPT PDF
Mihai Christodorescu: General Purpose Binary Rewriting X X
Jonathon Giffin: Specification-Based Monitoring: Improving Model Precision X X
Vinod Ganapathy: Buffer Overrun Detection via Static Analysis X X
Gogul Balakrishnan: Analyzing Memory Accesses in Object Code X X
Tom Reps: Pushdown Systems and Weighted Pushdown Systems X X

MURI Workshop
July 11 - 12, 2002
Harpers Ferry, WV

Speaker and Talk PPT PDF
Somesh Jha: Project Overview X X
Jonathon Giffin: Specification-Based Analysis and Enforcement X X
Jonathon Giffin: Intel x86 Analysis Infrastructure and Demo X X
Gogul Balakrishnan: Preparing Object Code for Static Analysis X X
Vinod Ganapathy: Static Analysis Techniques to Detect Buffer Overrun Vulnerabilities X X
Mihai Christodorescu: Detecting Malicious Patterns in Executables via Model Checking X X
Alexey Loginov: Towards Abstraction Refinement in TVLA X X
A. Mulhern: Verifying Behavioral Subtyping in TVLA X X

MURI Workshop
January 14 - 15, 2002
Washington, DC

Speaker and Talk PPT PDF
Somesh Jha: Project Overview X X
Thomas Reps: Static Analysis Techniques for Security X X
Gogul Balakrishnan: Infrastructure for Analysis of Object Code X X
Vinod Ganapathy: Static Analysis Techniques to Detect Buffer Overrun Vulnerabilities X X
Mihai Christodorescu: A Description of a Virus Scanner That Uses Model Checking Ideas X X
Bart Miller: Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes X X
Jonathon Giffin: Determining the Integrity of Remote System Call Streams X X
Alexey Loginov: Towards Abstraction Refinement in TVLA X X

ONR Site Visit
November 8, 2001
Madison, WI

Speaker and Talk PPT PDF
Somesh Jha: CodeSurfer Overview X X
Mihai Christodorescu: A Quick Look Into Model Checking of Binaries, With an Interesting Application: Virus Scanning X X
Somesh Jha: Attack Graphs X X

USENIX Security Symposium
Work-In-Progress Session
August 17, 2001
Washington, DC

Speaker PPT PDF
Jonathon Giffin (untitled talk) X X

This page updated December 12, 2005.