Quantifying information flow for dynamic secrets

by Piotr Mardziel, Mário S. Alvim, Michael Hicks, Michael R. Clarkson