Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications
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 dimensions (observation, protection and semantics) that can be instantiated in order to obtain well known or even new wea...
Main Author: | Isabella Mastroeni |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2013-09-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1309.5131v1 |
Similar Items
-
Automating abstract interpretation of abstract machines
Published: () -
A Survey on Product Operators in Abstract Interpretation
by: Agostino Cortesi, et al.
Published: (2013-09-01) -
Semantics-based Program Verification: an Abstract Interpretation Approach
by: Vítor Gabriel dos Reis Machado Rodrigues
Published: (2019) -
On an implementation of abstract interpretation
by: Westcott, Doug
Published: (2010) -
Efficient resolution of security-sensitive values in Android using abstract interpretation
by: Petters, Dmitrij
Published: (2014)