Oblivious Stash Shuffle

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