Login / Signup

Types and Abstract Interpretation for Authorization Hook Advice.

Christian SkalkaDavid DaraisTrent JaegerFrank Capobianco
Published in: CSF (2020)
Keyphrases
  • abstract interpretation
  • termination analysis
  • access control
  • static analysis
  • database systems
  • active rules