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

zbMATH Open1464.68084arXiv1309.5131MaRDI QIDQ4994686FDOQ4994686

Authors: Isabella Mastroeni 

Publication date: 21 June 2021

Full work available at URL: https://arxiv.org/abs/1309.5131

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

Mathematics Subject Classification ID

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

Cited In (6)

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

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)