Login / Signup

Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work.

Marco PatrignaniAmal AhmedDave Clarke
Published in: ACM Comput. Surv. (2019)
Keyphrases
  • machine learning algorithms
  • closely related
  • website
  • bayesian networks
  • high level
  • search algorithm
  • formal model