Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation

DOI10.1093/COMJNL/47.1.25MaRDI QIDQ4828445zbMATH OpenOpenAlexFDO

Authors Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco

Publication date 19 November 2004

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/47.1.25

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• Instruction-level security analysis for information flow in stack-based assembly languages
• A semantic approach to secure information flow
• Programming Languages and Systems
• Information leakage analysis by abstract interpretation
• scientific article; zbMATH DE number 2104621

Cited in

(10)

• Hypercollecting semantics and its application to static analysis of information flow
• scientific article; zbMATH DE number 2064465 (Why is no real title available?)
• Verified abstract interpretation techniques for disassembling low-level self-modifying code
• scientific article; zbMATH DE number 1953021 (Why is no real title available?)
• Fully abstract trace semantics for protected module architectures
• Combining symbolic and numerical domains for information leakage analysis
• A sound analysis for secure information flow using abstract memory graphs
• Instruction-level security analysis for information flow in stack-based assembly languages
• Information leakage analysis by abstract interpretation
• Relational abstract interpretation of arrays in assembly code

Describes a project that uses

Uses Software

• Cadence SMV

This page was built for publication: Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation

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