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

Laurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valrie Viet Triem Tong

Browse the full ICSE paper archive.