Oblivious Stash Shuffle

Abstract

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