A Library for Light-Weight Information-Flow Security in Haskell
Paper in proceeding, 2008
Declassification
Monad
Library
Information-flow
Security
Author
Alejandro Russo
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008
13-24
Subject Categories
Software Engineering
Computer Science
DOI
10.1145/1411286.1411289