The following pages link to Programming Languages and Systems (Q5316572):
Displaying 4 items.
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Dispelling myths on superposition attacks: formal security model and attack analyses (Q5918646) (← links)