Pages that link to "Item:Q4828445"
From MaRDI portal
The following pages link to Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation (Q4828445):
Displaying 4 items.
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Relational abstract interpretation of arrays in assembly code (Q6108433) (← links)