Manuel Barbosa Bernardo Ferreira João C. Marques Bernardo Portela Nuno M. Preguiça Secure Conflict-free Replicated Data Types. 944 2020 2020 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2020/944 db/journals/iacr/iacr2020.html#BarbosaFMPP20