@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 }
Efficient SAT-based Pre-image Enumeration for Quantitative Information Flow in Programs
Author(s): | Alexander Weigl |
---|---|
In: | 5th International Workshop on Quantitative Aspects of Security Assurance (QASA 2016) |
Year: | 2016 |