Login / Signup

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.

Carmine AbateArthur Azevedo de AmorimRoberto BlancoAna Nora EvansGuglielmo FachiniCatalin HritcuThéo LaurentBenjamin C. PierceMarco StronatiAndrew Tolmach
Published in: CCS (2018)
Keyphrases
  • trade off
  • dynamic environments
  • building blocks
  • data sets
  • dynamically changing
  • real time
  • information retrieval
  • genetic algorithm
  • artificial intelligence
  • social networks
  • database systems
  • lightweight
  • design patterns