Lattice-Based Proof of Shuffle and Applications to Electronic Voting. - Diego F. Aranha; Carsten Baum; Kristian Gjøsteen; Tjerand Silde; Thor Tunge (IACR Cryptol. ePrint Arch., 2021)