Vol-3730⫷ Vol-3731 ⫸Vol-3732
urn:nbn:de:0074-3731-0


Vol-3731/paper24⫷Vol-3731/paper25⫸Vol-3731/paper26
Gabriele Costa 0001Cosimo Perini Brogi

Toward dynamic epistemic verification of zero-knowledge protocols