activity
20132022
most citedAbstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications

13 citations · 26 across the 6 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.PL2022

Decoupling the ascending and descending phases in Abstract Interpretation

Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella

Abstract Interpretation approximates the semantics of a program by mimicking its concrete fixpoint computation on an abstract domain . The abstract (post-) fixpoint com…