Yannis Juglaret


As of October 2016, I no longer work in academia.

Past Work (2015-2016)

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.

Contact Information