Building secure systems with LIO (demo).

Deian Stefan, Amit Levy, Alejandro Russo, David Mazires

Browse the full HASKELL paper archive.