Guillaume Piolle

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux

2017

Information Flow Control at Operating System (OS) level features interesting properties and have been an active topic of research for years. However, no implementation can work reliably if there does not exist a way to …