Quantifying Information Flow for Dynamic Secrets

Piotr Mardziel, Mário S. Alvim, Michael W. Hicks, Michael R. Clarkson
January, 2014
Cite DOI URL
Type
Conference paper
Publication
2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014