SAT-based Analysis and Quantification of Information Flow in Programs. Klebanov, V., Manthey, N., & Muise, C. In 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), pages 177–192, 2013.
SAT-based Analysis and Quantification of Information Flow in Programs [pdf]Paper  bibtex   

Downloads: 0