Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert. Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 441-456, Springer, 2015. [doi]

This author has not been identified. Look up 'Paul Muntean' in GoogleThis author has not been identified. Look up 'Vasantha Kommanapalli' in GoogleThis author has not been identified. Look up 'Andreas Ibing' in GoogleThis author has not been identified. Look up 'Claudia Eckert' in Google

runs on WebDSL