Login / Signup

Information Leakage Analysis by Abstract Interpretation.

Matteo ZanioliAgostino Cortesi
Published in: SOFSEM (2011)
Keyphrases
  • abstract interpretation
  • static analysis