Accumulators in (and Beyond) Generic Groups: Non-Trivial Batch Verification Requires Interaction.

Gili Schul-Ganz Gil Segev

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

user interaction
artificial intelligence
expert systems
computer vision
website
high level
domain specific
human computer interaction
formal analysis
formal verification
batch mode
group formation
group interaction