Menu

USA 2016

February 29 – March 4
Moscone Center, San Francisco

How to Verify Procedures

  • Wednesday, March 2, 2016 | 10:20 AM – 11:10 AM | West | Room: 2011

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

Participants

Headshot

Gunnar Hartung Researcher, Karlsruhe Institute of Technology (KIT)

Speaker

Headshot

Prastudy Mungkas Fauzi Student, Institute of Computer Science, University of Tartu

Speaker

This document was retrieved from http://www.rsaconference.com/events/us16/agenda/sessions/2471/how-to-verify-procedures on Sun, 18 Nov 2018 00:46:22 -0500.