How to Verify Procedures
View all Sessions
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