Signatures from Sequential-OR Proofs.

Marc Fischlin Patrick Harasser Christian Janson

Published in: EUROCRYPT (3) (2020)

Keyphrases

data mining
equational theories
theorem prover
sequential search
neural network
formal proofs
databases
bayesian networks
search algorithm
similar patterns
signature recognition
natural deduction
formal proof