Provable randomness over lightweight permutations. - Juan Di Mauro; Hamid Boukkerou; Gilles Millerioux; Marine Minier; Thomas Stoll (Cryptogr. Commun., 2025)