Quantifying Information Flow for Dynamic Secrets. Piotr Mardziel, Mario Alvim, Michael Hicks, and Michael Clarkson. In Proceedings of the IEEE Symposium on Security and Privacy (Oakland), May 2014.

A metric is proposed for quantifying leakage of information about secrets and about how secrets change over time. The metric is used with a model of information flow for probabilistic, interactive systems with adaptive adversaries. The model and metric are implemented in a probabilistic programming language and used to analyze several examples. The analysis demonstrates that adaptivity increases the amount of information that adversaries learn.

[ .pdf ] 

@inproceedings{mardziel14time,
  author = {Piotr Mardziel and Mario Alvim and Michael Hicks and Michael Clarkson},
  title = {Quantifying Information Flow for Dynamic Secrets},
  booktitle = {Proceedings of the {IEEE} Symposium on Security and Privacy (Oakland)},
  month = may,
  year = 2014
}

This file was generated by bibtex2html 1.99.