Used together with:
ram
(1)
freecurs
(1)
verif
(1)
base
(1)
near
(1)
Stem
oram$ (
all stems
)
1 papers:
ASPLOS-2015-FletcherRKDD
#ram
#recursion
#verification
Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM (
CWF
,
LR
,
AK
,
MvD
,
SD
), pp. 103–116.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.