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

¹
¹ Karlsruher Institut für Technologie (KIT)

Originalveröffentlichung
DOI: 10.1007/978-3-319-47072-6_4

Scopus
Zitationen: 3

Dimensions
Zitationen: 3

Seitenaufrufe: 45
seit 27.04.2018

Zugehörige Institution(en) am KIT	Institut für Theoretische Informatik (ITI)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2016
Sprache	Englisch
Identifikator	ISBN: 978-3-319-47071-9 ISSN: 0302-9743 KITopen-ID: 1000061485
Erschienen in	Data Privacy Management and Security Assurance. 11th International Workshop (DPM) and 5th International Workshop (QASA), Heraklion, Crete, Greece, September 26-27, 2016
Verlag	Springer-Verlag
Seiten	51-58
Serie	Lecture Notes in Computer Science ; 9963
Nachgewiesen in	Scopus Dimensions OpenAlex