About

Yannis Juglaret

Status

Past Work (2015-2016)

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.