KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Weigl, Alexander ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-47072-6_4
Scopus
Zitationen: 3
Dimensions
Zitationen: 3
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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page