Sign in
Efficient RAM and control flow in verifiable outsourced computation.
Riad S. Wahby
Srinath T. V. Setty
Zuocheng Ren
Andrew J. Blumberg
Michael Walfish
Published in:
NDSS (2015)
Keyphrases
</>
control flow
data flow
software testing
databases
transition systems
artificial intelligence
cooperative
multi agent systems
modeling language