Lattice-based proof of shuffle and applications to electronic voting
scientific article; zbMATH DE number 7449879