A Library for Secure Multi-threaded Information Flow in Haskell - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ta-Chung Tsai, Alejandro Russo, John Hughes. A Library for Secure Multi-threaded Information Flow in Haskell. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy. pages 187-202, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Ta-Chung Tsai' in GoogleThis author has not been identified. Look up 'Alejandro Russo' in GoogleIdentified as John Hughes

runs on WebDSL