Registered user since Tue 14 Jun 2016
I am mainly interested in the secure execution of programs written in low-level languages such as C. I work on source-level and binary-level bug-finding and bug-mitigation approaches, low-level software security in general, the efficient implementation of programming languages, and the mining of software repositories to uncover knowledge related to these topics.
|VEE 2018||An Analysis of x86-64 Inline Assembly in C Programs|
|Show activities from other conferences|
View general profile