Login / Signup
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs.
Gottfried Herold
Max Hoffmann
Michael Klooß
Carla Ràfols
Andy Rupp
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
formal proof
structural information
face verification
piecewise linear
verification method
information systems
decision trees
expert systems
model checking
group members
structural analysis
formal verification
formal proofs