Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control
| Publication | Article in Lecture Notes in Computer Science, published October 2018 |
|---|---|
| Authors | Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…