Several Proofs of Security for a Tokenization Algorithm
Riccardo Longo, Riccardo Aragona, Massimiliano Sala, et al.