Login / Signup

A Formal Model for an Ideal CFI.

Sepehr MinagarBalasubramaniam SrinivasanPhu Dung Le
Published in: ISPEC (2017)
Keyphrases
  • formal model
  • sliding window
  • predicate calculus
  • formal models
  • security properties