Finding and remedying high-level security issues in binary code

David Dewey. Finding and remedying high-level security issues in binary code. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2016. [doi]

Abstract

Abstract is missing.