25 citations · 25 across the 1 of their papers we have counts for
1 paper · 1 filter
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…