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 2013Show all

1 paper · 1 filter

cs.PL2013★ 13 cited

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

Isabella Mastroeni

In this paper we provide a survey on the framework of abstract non-interference. In particular, we describe a general formalization of abstract non-interference by means of three d…