Login / Signup

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.

Akram El-KorashyRoberto BlancoJérémy ThibaultAdrien DurierDeepak GargCatalin Hritcu
Published in: CSF (2022)
Keyphrases
  • data flow
  • turn taking
  • database machine
  • control flow
  • multi party
  • object oriented software
  • systolic array
  • social interaction