Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation

DOI10.1093/comjnl/47.1.25zbMath1090.68031OpenAlexW2091587819MaRDI QIDQ4828445

Roberto Barbuti, Nicoletta De Francesco, Cinzia Bernardeschi

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)

Related Items (1)

Instruction-level security analysis for information flow in stack-based assembly languages

Uses Software

• Cadence SMV

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