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:
CCS (2017)
Keyphrases
</>
formal proof
model checking
structural information
signature verification
singular value decomposition
piecewise linear
real world
data mining
face recognition
cluster analysis
theorem proving
person identification
batch processing
formal proofs
functional verification