3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Nicolas Berthier, Narges Khakpour
In the realm of sound object-oriented program analyses for information-flow control, very few approaches adopt flow-sensitive abstractions of the heap that enable a precise modelin…