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.
|VMIL 2018||A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler|
|Show activities from other conferences|
View general profile