Information flow analysis for Java bytecode

DOI10.1007/978-3-540-30579-8_23MaRDI QIDQ5711500zbMATH OpenOpenAlexFDO

Authors Samir Genaim, Fausto Spoto

Publication date 6 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b105073

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A sound analysis for secure information flow using abstract memory graphs
• Information flow in object-oriented software
• Information-flow and data-flow analysis of while-programs
• Magic-sets for localised analysis of Java bytecode
• Instruction-level security analysis for information flow in stack-based assembly languages

Cited in

(15)

• JRIF: reactive information flow control for Java
• Instruction-level security analysis for information flow in stack-based assembly languages
• Optimality and condensing of information flow through linear refinement
• Data flow analysis of Java programs in the presence of exceptions
• Inference of field-sensitive reachability and cyclicity
• A sound analysis for secure information flow using abstract memory graphs
• Information flow in object-oriented software
• Boolean formulas for the static identification of injection attacks in Java
• A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
• Output-sensitive information flow analysis
• Output-sensitive information flow analysis
• Magic-sets for localised analysis of Java bytecode
• Relational bytecode correlations
• Cost analysis of object-oriented bytecode programs
• Security types preserving compilation

This page was built for publication: Information flow analysis for Java bytecode

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