CRSep 22, 2017
Oblivious Stash Shuffle
arXiv:1709.07553v24 citations
AI Analysis
This is an incremental contribution, as it builds on prior work by Bittau et al. to enhance understanding and verification of the protocol's security.
The paper tackles the problem of proving security for the Stash Shuffle, a cryptographic protocol, and provides a formal proof of its security.
This is a companion report to Bittau et al. We restate and prove security of the Stash Shuffle.