How to verify shuffling and logging procedures are discussed.
Topic 1: Efficient Culpably Sound NIZK Shuffle Argument without Random Oracles
Authors: Prastudy Mungkas Fauzi and Helger Lipmaa
Topic 2: Secure Audit Logs with Verifiable Excerpts
Authors: Gunnar Hartung