Yannis Juglaret

Current Status

I am a first-year PhD student at Paris Diderot University (Paris 7), working at Inria. I hold a research-oriented Master’s degree in computer science from Paris Diderot University (Paris 7) (see: Parisian Master of Research in Computer Science – MPRI). I also hold an engineering Master’s degree from the ENSEA graduate school in electrical and computer engineering.

I am interested in the domains of programming languages, formal verification, computer architectures, and operating systems, as well as their applications in the field of computer security.

Current and Future Work

I currently work at Inria in the Prosecco project under the supervision of Cătălin Hriţcu and Bruno Blanchet.

I study how micro-policies, a general framework for expressing tag-based hardware-assisted security monitors, could help in designing efficient secure compilers. A secure (or fully abstract) 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. Please follow this link to learn more more about this work.

My PhD is co-funded by DGA and Inria.

Contact Information