Several Proofs of Security for a Tokenization Algorithm

In this paper we propose a tokenization algorithm of the Reversible Hybrid type, based on a block cipher with a secret key and (possibly public) additional input. We provide some formal proofs of security for it.