  Randomization is an integral part of well-designed statistical trials, and is
also a required procedure in legal systems, see Marcondes et al. (2019) This
paper presents an easy to implement randomization protocol that assures, in a
formal mathematical setting, a statistically sound, computationally efficient,
cryptographically secure, traceable and auditable randomization procedure that
is also resistant to collusion and manipulation by participating agents.
