Login / Signup
Information Leakage Analysis by Abstract Interpretation.
Matteo Zanioli
Agostino Cortesi
Published in:
SOFSEM (2011)
Keyphrases
</>
abstract interpretation
static analysis