Malacaria: A static analysis for quantifying information flow in a simple imperative language (0)

by David Clark, Sebastian Hunt, Pasquale
Venue:Journal of Computer Security, Volume 15, Number