25 citations · 25 across the 2 of their papers we have counts for
2 papers
cs.PL2016★ 25 cited
Hypercollecting Semantics and its Application to Static Analysis of Information Flow
Mounir Assaf, David A. Naumann, Julien Signoles +2
We show how static analysis for secure information flow can be expressed and proved correct entirely within the framework of abstract interpretation. The key idea is to define a Ga…
cs.CR2016
Calculational Design of Information Flow Monitors (extended version)
Mounir Assaf, David A. Naumann
Fine grained information flow monitoring can in principle address a wide range of security and privacy goals, for example in web applications. But it is very difficult to achieve s…