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

[beckert18icfem]

Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning, Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control, Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, pp. 284--300, 2018.

Download

[DOI]

BibTeX

@inproceedings{beckert18icfem,
  title = {Using Theorem Provers to Increase the Precision of Dependence Analysis
        for Information Flow Control},
  booktitle = {Formal Methods and Software Engineering - 20th International Conference
        on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia,
        November 12-16, 2018, Proceedings},
  year = {2018},
  pages = {284--300},
  author = {Bernhard Beckert and Simon Bischof and Mihai Herda and Michael Kirsten and Marko Kleine B{\"u}ning},
  url = {https://doi.org/10.1007/978-3-030-02450-5\_17},
  doi = {10.1007/978-3-030-02450-5_17},
}

Authors at the institute

Former Staff Member
M.Sc. Simon Bischof

Projects

Project

IFC for Mobile Components

VALSOFT/Joana