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

DOI10.1016/j.ic.2007.04.002zbMath1127.68016MaRDI QIDQ2381502

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 analysis; Abstract interpretation; language-based security; flow-sensitive

Mathematics Subject Classification ID

68N15: Theory of programming languages

68N20: Theory of compilers and interpreters

Uses Software

• JFlow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compile-time detection of information flow in sequential programs
• Java bytecode verification: Algorithms and formalizations
• A semantic approach to secure information flow
• Abstract interpretation of operational semantics for secure information flow.
• Information flow for Algol-like languages
• Secure information flow via linear continuations
• Abstract non-interference
• An Axiomatic Approach to Information Flow in Programs
• A lattice model of secure information flow
• Certification of programs for secure information flow
• Bytecode verification on Java smart cards
• Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
• Abstract Interpretation Frameworks
• On flow-sensitive security types
• A logic for information flow in object-oriented programs
• Theoretical Computer Science
• Verification, Model Checking, and Abstract Interpretation