Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs.

Shlomi Dolev Yin Li

Published in: Acta Informatica (2023)

Keyphrases

design considerations
main memory
secret sharing
private data
deductive databases
control flow
execution model
identity management
symbolic execution