Login / Signup
On UC-Secure Range Extension and Batch Verification for ECVRF.
Christian Badertscher
Peter Gazi
Iñigo Querejeta-Azurmendi
Alexander Russell
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
cryptographic protocols
wide range
model checking
face verification
integrity verification
database
batch learning
formal verification
batch processing
high security
incremental learning
security analysis
security protocols
batch mode
linear time temporal logic