DACET: Data Acquisition through Compositional Executable Transformations

Award Information
Agency:
Department of Defense
Branch
n/a
Amount:
$79,770.00
Award Year:
2011
Program:
SBIR
Phase:
Phase I
Contract:
N00014-11-M-0242
Award Id:
n/a
Agency Tracking Number:
N111-081-0610
Solicitation Year:
2011
Solicitation Topic Code:
N111-081
Solicitation Number:
2011.1
Small Business Information
421 SW Sixth, Suite 300, Portland, OR, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
098009918
Principal Investigator:
Mark Tullsen
Principle Investigator
(503) 626-6616
tullsen@galois.com
Business Contact:
Jodee LeRoux
Contracts
(503) 808-7209
jodee@galois.com
Research Institution:
Stub




Abstract
Low-overhead, real-time data acquisition of executing software is the last line of defense against malicious cyber attacks. A monitoring approach cannot depend on access to source code, as the code may be proprietary and recompilation is too time-intensive. Rather, we propose to monitor the binary executables themselves. Our solution is called DACET: Data Acquisition through Compositional Executable Transformations. DACET is a framework for composing monitoring specifications. DACET instruments binaries at load-time (or earlier) with monitors. The monitors are specified by a monitoring policy. A novel aspect of DACET is that it transforms binaries into LLVM (Low Level Virtual Machine) code, a high-level typed architecture-independent assembly language. The monitors are instrumented into the LLVM, and then machine code is re-generated. LLVM already has associated with it numerous open-source static and dynamic analysis tools and generates highly-optimized machine code. Furthermore, DACET will include a static execution time predictor to help the user determine the performance penalty of implementing the monitoring policy. DACET is a software-only tool with no hardware dependencies but can be made more efficient with hardware extensions.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government