Sponsored Research

	Air Force Research Laboratory (Rome)
	Deep Static Analysis - Software Binaries
	Cognitive Techniques for Analysis of Complex Software Systems	Complete
	Source Code Vulnerability Detection	Complete
	Detecting Malicious Code in Firmware	Complete

	Air Force Research Laboratory (Wright Paterson) Anti-Tamper/Software Protection Initiative (AT-SPI)
	Software Protection to Deter Malicious Forensic Data Collection & Exploitation
	Deobfuscating Tools for the Validation & Verification of Tamper-proofed Software
	Covert Loading and Execution of Software Protections to Reduce Adversarial Detection
	Run-Time Process Monitoring
	Sanitizing Software of Malicious & Unauthorized Code
	Light-weight Virtualization as a Defense against Reverse Engineering	Complete
	Software Protection through Specialized Commodity Processors	Complete
	Software Protection to Deter Malicious Forensic Data Collection & Exploitation	Complete
	Hardware-assisted Software Anti-Tamper	Complete
	Reverse Engineering Kernel Mode Rootkits	Complete
	Defenses Against Reverse Engineering	Complete
	Trace-Based Disassembly	Complete

	Defense Advanced Research Projects Agency (DARPA)
	Static Analysis of Multi-Core Applications
	Static Analysis Tools for SWRL	Complete
	Verification of Hierarchical Graph Structures	Complete
	Multi-Lingual Dependence-Graph Components for Software and Hardware Analysis and Specialization	Complete
	Dependence Graphs for Information Assurance of Systems	Complete
	A Framework for Aspect-Oriented Programming of Embedded Systems	Complete

	Department of Homeland Security (DHS) Homeland Security Advanced Research Projects Agency (HSARPA)
	Model Checking Software Binaries	Complete

	Missile Defense Agency (MDA)
	A Refactoring Environment for Ada	Complete
	Ballistic Missile Defense Innovative Anti-Tamper Techniques	Complete
	Advance Static Analysis for Software Assurance	Complete

	National Aeronautics and Space Administration (NASA)
	Static Detection of Bugs in Embedded Software using Lightweight Verification
	Static Analysis for Automatic Differentiation	Complete
	A Refactoring Environment for Incremental Migration of Legacy Code	Complete

	National Institute of Standards and Technology (NIST)
	Inline Reference Monitors for Java Bytecode	Complete

	National Science Foundation (NSF)
	Defenses Against Malicious Code	Complete
	An Aspect Oriented Solution for Unit Test Generation	Complete
	Dependence Graphs for Internet Technologies	Complete

	United States Army
	Semantics-Aware Malware Detection
	Software Anti-Tamper for Real-Time Systems
	Information Retrieval Techniques for Software Design Visualization	Complete
	Software Design Visualization	Complete

	United States Navy (USN)
	Deep Understanding of Complex High-Assurance Hypervisor Source Code
	Tools for Software Architecture Visualization	Complete
	Model Checking UML Designs	Complete

	United States Navy (USN) Office of Naval Research (ONR)
	Modernization of Legacy Software: Re-engineering Low-Level Code
	Programmable Interfaces for Advanced Static Analysis	Complete
	Model Checking of Software Designs	Complete
	User Interface for Rule Based Formal Methods Environments	Complete
	Language-Based Software Environments	Complete