@inproceedings{KlebanovMM13,
author = {Vladimir Klebanov and Norbert Manthey and Christian Muise},
title = {{SAT}-based Analysis and Quantification of Information Flow in Programs},
booktitle = {10th International Conference on Quantitative Evaluation of Systems
({QEST} 2013)},
year = {2013},
month = aug,
publisher = {Springer},
series = {LNCS},
volume = {8054},
pages = {156--171},
doi = {10.1007/978-3-642-40196-1_16},
venue = {Buenos Aires, Argentina},
eventdate = {2013-08-27/2013-08-30}
}
SAT-based Analysis and Quantification of Information Flow in Programs
| Author(s): | Vladimir Klebanov, Norbert Manthey, and Christian Muise |
|---|---|
| In: | 10th International Conference on Quantitative Evaluation of Systems (QEST 2013) |
| Publisher: | Springer |
| Series: | LNCS |
| Volume: | 8054 |
| Year: | 2013 |
| Pages: | 156-171 |
| DOI: | 10.1007/978-3-642-40196-1_16 |