Succinct Verification of Compressed Sigma Protocols in the Updatable SRS Setting.

Moumita Dutta Chaya Ganesh Neha Jawalkar

Published in: Public Key Cryptography (2) (2024)

Keyphrases

cryptographic protocols
formal verification
model checking
data sets
compressed domain
communication protocol
face verification
communication protocols
verification method