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

TechDays Cyber Security Workshop, Munich, Germany

Authors:	Paul Muntean and Claudia Eckert
Year/month:	2015/10
Booktitle:	TechDays Cyber Security Workshop, Munich, Germany
Fulltext:	poster_muntean_buffer_overflow_quick_fixes.pdf

Abstract
.

Bibtex:

@inproceedings { 421,
author = { Paul Muntean and Claudia Eckert},
title = { POSTER: Automated Generation of Buffer Overflow Quick Fixes using Symbolic Execution and SMT },
year = { 2015 },
month = { October },
booktitle = { TechDays Cyber Security Workshop, Munich, Germany },
url = {https://www.sec.in.tum.de/i20/publications/poster-automated-generation-of-buffer-overflow-quick-fixes-using-symbolic-execution-and-smt/@@download/file/poster_muntean_buffer_overflow_quick_fixes.pdf}
}