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

DOI10.1016/J.IC.2007.04.002MaRDI QIDQ2381502zbMATH OpenOpenAlexFDO

Authors Nicoletta De Francesco, Luca Martini

Publication date 18 September 2007

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2007.04.002

zbMATH Keywords

static analysisAbstract interpretationlanguage-based securityflow-sensitive

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
• Programming Languages and Systems
• Stack-based access control and secure information flow
• A sound analysis for secure information flow using abstract memory graphs
• Theoretical Computer Science

Cites work

• scientific article; zbMATH DE number 1692933 (Why is no real title available?)
• scientific article; zbMATH DE number 1799514 (Why is no real title available?)
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 1948407 (Why is no real title available?)
• scientific article; zbMATH DE number 2064465 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• A lattice model of secure information flow
• A logic for information flow in object-oriented programs
• A semantic approach to secure information flow
• Abstract Interpretation Frameworks
• Abstract interpretation of operational semantics for secure information flow.
• Abstract non-interference
• An Axiomatic Approach to Information Flow in Programs
• Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
• Bytecode verification on Java smart cards
• Certification of programs for secure information flow
• Compile-time detection of information flow in sequential programs
• Information flow for Algol-like languages
• Java bytecode verification: Algorithms and formalizations
• On flow-sensitive security types
• Secure information flow via linear continuations
• Theoretical Computer Science
• Verification, Model Checking, and Abstract Interpretation

Cited in

(6)

• Verification, Model Checking, and Abstract Interpretation
• Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
• Programming Languages and Systems
• Stack-based access control and secure information flow
• A Design Flow and Evaluation Framework for DPA-Resistant Instruction Set Extensions
• A sound analysis for secure information flow using abstract memory graphs

Describes a project that uses

Uses Software

• JFlow

This page was built for publication: Instruction-level security analysis for information flow in stack-based assembly languages

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