Volume: Vol-3731 ITASEC 2024 | Year: 2024

Paper: « paper24 | paper25 | paper26 »

Toward dynamic epistemic verification of zero-knowledge protocols

• Cosimo Perini Brogi dblp
• Gabriele Costa 0001 ORCID dblp

PDF