
@article {ar:Klebanov2014,
	title = {Precise Quantitative Information Flow Analysis {\textendash} A Symbolic Approach},
	journal = {Theoretical Computer Science},
	year = {2014},
	note = {In press.},
	author = {V. Klebanov}
}
@conference {inp:KlebanovMantheyMuise2013,
	title = {{SAT}-based Analysis and Quantification of Information Flow in Programs},
	booktitle = {Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013)},
	year = {2013},
	author = {V. Klebanov and N. Manthey and C. Muise}
}
