"Building Secure Systems with LIO (Demo)."

Deian Stefan, David Mazières (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics