Abstract

This is a companion report to Bittau et al. [1]. We restate and prove security of the Stash Shuffle.