Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

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

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Alexander Weigl
In:5th International Workshop on Quantitative Aspects of Security Assurance (QASA 2016)
Jahr: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
}