Status
As of October 2016, I no longer work in academia.
As of October 2016, I no longer work in academia.
I used to work at Inria in the Prosecco project under the supervision of Cătălin Hriţcu and Bruno Blanchet.
I studied how micro-policies, a general framework for expressing tag-based hardware-assisted security monitors, could help in designing efficient secure compilers. A secure compiler preserves the abstractions of the source language when translating a program, it thus allows the programmer to reason about security properties at the source language level.
My work was followed up with the ERC SECOMP project.
E-mail: