Institute of Theoretical Informatics (ITI) – Application-oriented Formal Verification
Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation
Institute of Theoretical Informatics (ITI) – Application-oriented Formal Verification
Publications

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
}