Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control

@InProceedings{BeckertBischofEA2018,
  author    = {Bernhard Beckert and
               Simon Bischof and
               Mihai Herda and
               Michael Kirsten and
               Marko Kleine B{\"{u}}ning               
               },
  editor    = {Jing Sun and Meng Sun},
  title     = {Using Theorem Provers to Increase the Precision of
               Dependence Analysis for Information Flow Control},
  booktitle = {20th International Conference on Formal Engineering
               Methods - Formal Methods and Software Engineering
               ({ICFEM} 2018)},
  location  = {Gold Coast, QLD, Australia},
  date      = {November 12-16},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {11232},
  year      = {2018},
  pages     = {284--300},
  month     = oct,
  doi       = {10.1007/978-3-030-02450-5\_17}
}