Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Precise Quantitative Information Flow Analysis – A Symbolic Approach

Journal Article
Author(s):Vladimir Klebanov
Journal:Theoretical Computer Science
Number:0
Volume:538
Year:2014
Pages:124-139
DOI:10.1016/j.tcs.2014.04.022

BibTeX

@article{Klebanov14,
  author = {Vladimir Klebanov},
  title = {Precise Quantitative Information Flow Analysis -- A Symbolic Approach},
  year = {2014},
  month = apr,
  journal = {Theoretical Computer Science},
  volume = {538},
  number = {0},
  pages = {124-139},
  doi	= {10.1016/j.tcs.2014.04.022}
}