Erwanne P. Kanyabwero

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper presents an approach to enforce information flow policies using a three-valued type-based analysis on a core imperative language. Our analysis aims first at reducing false positives generated by static analysis, and second at preparing for instrumentation. False positives arise in the analysis of real computing systems when some information is(More)
  • 1