SAT-Based Analysis and Quantification of Information Flow in Programs

From International Center for Computational Logic

Toggle side column

SAT-Based Analysis and Quantification of Information Flow in Programs

Vladimir KlebanovVladimir Klebanov,  Norbert MantheyNorbert Manthey,  Christian MuiseChristian Muise
SAT-Based Analysis and Quantification of Information Flow in Programs


Vladimir Klebanov, Norbert Manthey, Christian Muise
SAT-Based Analysis and Quantification of Information Flow in Programs
In K. R. Joshi and M. Siegle and M. Stoelinga and P. R. D'Argenio, eds., Quantitative Evaluation of Systems,, volume 8054 of LNCS, 177-192, 2013. Springer
The final publication is available at Springer.
@inproceedings{KMM2013,
  author    = {Vladimir Klebanov and Norbert Manthey and Christian Muise},
  title     = {SAT-Based Analysis and Quantification of Information Flow in
               Programs},
  editor    = {K. R. Joshi and M. Siegle and M. Stoelinga and P. R. {D'Argenio}},
  booktitle = {Quantitative Evaluation of Systems,},
  series    = {LNCS},
  volume    = {8054},
  publisher = {Springer},
  year      = {2013},
  pages     = {177-192}
}