Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications

MaRDI QIDQ4994686zbMATH OpenFDO

Authors Isabella Mastroeni

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5131, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)

Recommendations

• Abstract non-interference
• Programming Languages and Systems
• Abstract code injection. A semantic approach based on abstract non-interference
• A proof system for abstract non-interference
• Typed Lambda Calculi and Applications

Cited in

(6)

• Abstract non-interference
• Programming Languages and Systems
• Improving dynamic code analysis by code abstraction
• Transforming Abstract Interpretations by Abstract Interpretation
• Abstract code injection. A semantic approach based on abstract non-interference
• Programming Languages and Systems

This page was built for publication: Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994686)