The following pages link to Static Analysis (Q5466553):
Displaying 6 items.
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- Content dependent information flow control (Q511927) (← 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)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
