Section: New Results
Micro-Policies and Secure Compilation
Participants : Catalin Hritcu, Arthur Azevedo de Amorim, Zoi Paraskevopoulou, Nikolaos Giannarakis.
Following on from previous work on the micro-policy framework, Catalin Hritcu and his collaborators published new work on applications and efficient implementations of micro-policies. They published work on low-level implementations of micro-policies at ASPLOS 2015 [18] . At IEEE S&P, they published a paper how to write formally verified reference monitors using micro-policies [26] .
Other than these published works, Hritcu and his colleagues also worked on using micro-policies to enforce secure information flow at the hardware level [25] , and a secure compiler for a high-level language that relies on micro-policies to enforce programming language abstractions [45] .