The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security

Angelos D. Keromytis; Salvatore Stolfo; Junfeng Yang; Angelos Stavrou; Anup Ghosh; Dawson Engler; Marc Dacier; Matthew Elder; Darrell Kienzle

Due to scheduled upgrades, Academic Commons will be periodically unavailable on Saturday, May 7 between the hours of 11:30am and 9:30pm North American Eastern Daylight Time.
The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security
Keromytis, Angelos D.
Stolfo, Salvatore
Yang, Junfeng
Stavrou, Angelos
Ghosh, Anup
Engler, Dawson
Dacier, Marc
Elder, Matthew
Kienzle, Darrell
Computer Science
Permanent URL:
Book/Journal Title:
Proceedings: First SysSec Workshop: Amsterdam, The Netherlands, 6 July 2011
We present MINESTRONE, 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 in third-party software. Our initial focus is on software written in C and C++; however, many of our techniques are equally applicable to binary-only environments (but are not always as efficient or as effective) and for vulnerabilities that are not specific to these languages. Our system seeks to enable the immediate deployment of new software {e.g., a new release of an open-source project) and the protection of already deployed (legacy) software by transparently inserting extensive security instrumentation, while leveraging concurrent program analysis, potentially aided by runtime data gleaned from profiling actual use of the software, to gradually reduce the performance cost of the instrumentation by allowing selective removal or refinement. Artificial diversification techniques are used both as confinement mechanisms and for fault-tolerance purposes. To minimize the performance impact, we are leveraging multi-core hardware or (when unavailable) remote servers that enable quick identification of likely compromise. To cover the widest possible range of systems, we require no specific hardware or operating system features, although we intend to take advantage of such features where available to improve both runtime performance and vulnerability coverage.
Computer science
Publisher DOI:
Item views:
text | xml
Suggested Citation:
Angelos D. Keromytis, Salvatore Stolfo, Junfeng Yang, Angelos Stavrou, Anup Ghosh, Dawson Engler, Marc Dacier, Matthew Elder, Darrell Kienzle, 2011, The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security, Columbia University Academic Commons, http://hdl.handle.net/10022/AC:P:13952.

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use | Copyright