@phdthesis{simon06thesis, author = {A. Simon}, title = {Value-{R}ange {A}nalysis of {C} {P}rograms with {F}ocus on {F}inding {B}uffer {O}verflow {V}ulnerabilities}, school = {Computing Laboratory}, month = {September}, year = 2006, address = {University of Kent}, }