Information Leakage Analysis by Abstract Interpretation

DOI10.1007/978-3-642-18381-2_45zbMath1298.68067OpenAlexW1580132004MaRDI QIDQ3075542

Matteo Zanioli, Agostino Cortesi

Publication date: 15 February 2011

Published in: SOFSEM 2011: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18381-2_45

Mathematics Subject Classification ID

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

Uses Software

• PPL
• NewPolka

Cites Work

• Unnamed Item
• Unnamed Item
• Affine relationships among variables of a program
• Information flow security in boundary ambients
• Evaluation of the domain prop
• Optimal groundness analysis using propositional logic
• Abstract non-interference
• A lattice model of secure information flow
• Systematic design of program transformation frameworks by abstract interpretation

This page was built for publication: Information Leakage Analysis by Abstract Interpretation