MINESTRONE: Identifying and containing
software vulnerabilities

MINESTRONE logo
 
Description →
Participants →
Publications →
Projects →
News →
 
AFRL

Description

MINESTRONE is a novel architecture that integrates static analysis, dynamic confinement, and code diversification techniques to enable the identification, mitigation and containment of a large class of software vulnerabilities. Our techniques will protect new software, as well as already deployed (legacy) software by transparently inserting extensive security instrumentation. They will also leverage concurrent program analysis (potentially aided by runtime data gleaned from profiling software) to gradually reduce the performance cost of the instrumentation by allowing selective removal or refinement.

MINESTRONE will also use diversification techniques for confinement and fault-tolerance purposes. To minimize performance impact, our project will also leverage multi-core hardware or (when unavailable) remote servers to enable the quick identification of potential compromises.

The developed techniques will require no specific hardware or operating system features, although they will take advantage of such features where available, to improve both runtime performance and vulnerability coverage.

MINESTRONE Architecture
Full size →

Contact:
For more information on MINESTRONE contact any of the project's PIs.

Latest News

04/23/12
Our paper "kGuard: Lightweight Kernel Protection against Return-to-user Attacks" is to appear in the 21st USENIX Security Symposium.
04/02/12
Our paper "Concurrency Attacks" is to appear in the 4th USENIX Workshop on Hot Topics in Parallelism (HotPar).
02/01/12
Our paper "Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization" is to appear in the Conference on Programming Language Design and Implementation (PLDI).
02/01/12
Our paper "Smashing the Gadgets: Hindering Return-Oriented Programming Using In-Place Code Randomization" is to appear in the IEEE Symposium on Security & Privacy (S&P).
12/19/11
Our paper "libdft: Practical Dynamic Data Flow Tracking for Commodity Systems" is to appear in the International Conference on Virtual Execution Environments (VEE).
This work is supported by the United States Air Force Research Laboratory (AFRL) through Contract FA8650-10-C-7024. Opinions, findings, conclusions and recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the US Government, or the Air Force.