Automating quantitative information flow

Jonathan Heusser. Automating quantitative information flow. PhD thesis, Queen Mary University of London, UK, 2011. [doi]

Abstract

Abstract is missing.