Formal and Precise Analysis of Soundness of Several Shuffling Schemes.

Kun Peng, Feng Bao

Browse the full ProvSec paper archive.