Pages that link to "Item:Q826055"

The following pages link to Compile-time detection of information flow in sequential programs (Q826055):

Displaying 2 items.

• Abstract interpretation of operational semantics for secure information flow. (Q1853040) (← links)
• Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)