TUM Logo

POSTER: Automated Generation of Buffer Overflow Quick Fixes using Symbolic Execution and SMT

POSTER: Automated Generation of Buffer Overflow Quick Fixes using Symbolic Execution and SMT

Authors: Paul Muntean and Claudia Eckert
Year/month: 2015/6
Booktitle: Security Network Munich and BICCnet Workshop, Munich, Germany
Note: http://www.it-security-munich.net/wp-content/uploads/2015/06/20150721_Flyer_OpenLabs_SIBASE_kl.pdf, Sichere eingebettete Systeme – Ergebnisse aus dem Projekt SIBASE, am 21. Juli in München
Fulltext:

Abstract

Bibtex:

@conference { 420,
author = { Paul Muntean and Claudia Eckert },
title = { POSTER: Automated Generation of Buffer Overflow Quick Fixes using Symbolic Execution and SMT },
year = { 2015 },
month = { June },
booktitle = { Security Network Munich and BICCnet Workshop, Munich, Germany },
note = { http://www.it-security-munich.net/wp-content/uploads/2015/06/20150721_Flyer_OpenLabs_SIBASE_kl.pdf, Sichere eingebettete Systeme – Ergebnisse aus dem Projekt SIBASE, am 21. Juli in München },

}