The following pages link to Static Analysis (Q5466553):
Displaying 16 items.
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- Content dependent information flow control (Q511927) (← links)
- Compile-time detection of information flow in sequential programs (Q826055) (← links)
- A logic for information flow analysis with an application to forward slicing of simple imperative programs (Q859953) (← links)
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- Information flow for Algol-like languages (Q1869976) (← links)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- Heuristics for safety and security constraints (Q2864162) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
- A Logical System for Modular Information Flow Verification (Q3296345) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Abstract Interpretation of Symbolic Execution with Explicit State Updates (Q3638994) (← links)
- A logic for information flow in object-oriented programs (Q5348916) (← links)
- Information Security and Privacy (Q5473541) (← links)
- Information Flow Control-by-Construction for an Object-Oriented Language (Q6111610) (← links)
