Efficient SAT-based Pre-image Enumeration for Quantitative Information Flow in Programs

Reviewed Paper In Proceedings

Author(s):Alexander Weigl
In:5th International Workshop on Quantitative Aspects of Security Assurance (QASA 2016)
Year:2016

BibTeX

@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
}