About me
Will Klieber is a software security researcher focusing on the areas of software assurance and automated code repair. He has led a small team to develop and implement static analysis and program transformation to automatically repair certain classes of memory-safety vulnerabilities in source code. He is now leading an effort to detect malicious code in C/C++ codebases using static taint analysis.
In the past at SEI, Klieber has worked on developing automated techniques for analysis of semantic equivalence of decompiled binary code. He has also worked on static analysis of Android apps to detect potential for undesired flows of sensitive information and static analysis for detection of malicious code in Java codebases.
Prior to joining CERT/SEI, Klieber was a doctoral student at the Carnegie Mellon University Computer Science Department, where he earned his PhD in the area of formal verification, focusing specifically on Quantified Boolean Formulas (QBF) and its application to verification of hardware and software.
