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 },
}