MINESTRONE: Identifying and containing
software vulnerabilities

Our paper "Expression Reduction from Programs in a Symbolic Binary Executor" is to appear in the 19th International SPIN Symposium on Model Checking of Software.

04/27/13

Our paper "Transparent ROP Exploit Mitigation using Indirect Branch Tracing" is to appear in the 22nd USENIX Security Symposium.

11/04/12

Our paper "Verifying Systems Rules Using Rule-Directed Symbolic Execution" is to appear in the 18th International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS).

08/17/12

Our paper "Self-healing Multitier Architectures Using Cascading Rescue Points" is to appear in the 2012 Annual Computer Security Applications Conference (ACSAC).

07/10/12

Our paper "Adaptive Defenses for Commodity Software through Virtual Application Partitioning" is to appear in the 19th ACM Conference on Computer and Communications Security (CCS).

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.

MINESTRONE: Identifying and containing software vulnerabilities

Participants

Institutions:

Columbia University

Symantec Research Labs

George Mason University

Stanford University

MINESTRONE: Identifying and containing
software vulnerabilities