Updatable Tokenization: Formal Definitions and Provably Secure Constructions. - Christian Cachin; Jan Camenisch; Eduarda Freire-Stögbuchner; Anja Lehmann (Financial Cryptography, 2017)