Quantitative Information Flow - Verification Hardness and Possibilities - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hirotoshi Yasuoka, Tachio Terauchi. Quantitative Information Flow - Verification Hardness and Possibilities. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010. pages 15-27, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Hirotoshi Yasuoka' in GoogleThis author has not been identified. Look up 'Tachio Terauchi' in Google

runs on WebDSL