Login / Signup

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.

Carmine AbateRoberto BlancoDeepak GargCatalin HritcuMarco PatrignaniJérémy Thibault
Published in: CSF (2019)
Keyphrases
  • database
  • learning algorithm
  • social networks
  • computationally efficient
  • databases
  • information systems
  • partial occlusion
  • standard model
  • digital preservation