Login / Signup
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.
Akram El-Korashy
Roberto Blanco
Jérémy Thibault
Adrien Durier
Deepak Garg
Catalin Hritcu
Published in:
CoRR (2021)
Keyphrases
</>
data flow
turn taking
multi party
database machine
object oriented software
control flow
systolic array
social interaction
computer mediated
object oriented
collaborative learning
face recognition