@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} }