MINESTRONE: Identifying and containing
software vulnerabilities

Description →
Participants →
Publications →
Projects →
News →



Columbia University

PI: Prof. Angelos Keromytis
PI: Prof. Salvatore J. Stolfo
PI: Prof. Junfeng Yang

Postdocs: Dimitris Geneiatakis
Michalis Polychronakis
Georgios Portokalidis
Students: Kangkook Jee
Vasileios P. Kemerlis

Symantec Research Labs

PI: Azzedine Benameur
PI: Marc Dacier
PI: Matthew Elder
PI: Darrell Kienzle

George Mason University

PI: Prof. Anup Ghosh
PI: Prof. Angelos Stavrou

Postdocs: Nelson Nazzicari Students: Spyros Panagiotopoulos

Stanford University

PI: Prof. Dawson Engler

Students: Suhabe Bugrara
David Ramos

Latest News

Our paper "ShadowReplica: Efficient Parallelization of Dynamic Data Flow Tracking" is to appear in the 20th ACM Conference on Computer and Communications Security (CCS).
Our paper "Parrot: a Practical Runtime for Deterministic, Stable, and Reliable Threads" is to appear in the 24th ACM Symposium on Operating Systems Principles (SOSP).
Our paper "An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables" is to appear in the 29th IEEE International Conference on Software Maintenance (ICSM).
Our paper "Transparent ROP Exploit Mitigation using Indirect Branch Tracing" is to appear in the 22nd USENIX Security Symposium.
Our paper "MINESTRONE: Testing the SOUP" is to appear in the 6th Workshop on Cyber Security Experimentation and Test (CSET).
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.