Pages that link to "Item:Q1853040"

The following pages link to Abstract interpretation of operational semantics for secure information flow. (Q1853040):

Displaying 2 items.

• Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
• Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)