@inproceedings{QASA2016, author={Alexander Weigl}, title={Efficient SAT-based Pre-image Enumeration for Quantitative Information Flow in Programs}, booktitle={5th International Workshop on Quantitative Aspects of Security Assurance (QASA 2016)}, year=2016, month=sep }