Lecture notes in computer scienceLattice-Based Proof of a ShuffleNúria Costa, Ramiro Pinilla, Paz MorilloPublished Jan 1, 2020• 16 citationsPublisherDOI10.1007/978-3-030-43725-1_23