Publicly Verifiable Proofs from Blockchains.

Alessandra Scafuro Luisa Siniscalchi Ivan Visconti

Published in: Public Key Cryptography (1) (2019)

Keyphrases

sufficient conditions
formal proofs
mathematical proofs
theorem prover
theorem proving
expert systems
feature selection
artificial intelligence
real time
multimedia
clustering algorithm
face recognition
feature extraction
hidden markov models
user behavior
decision procedures
formal proof
automated theorem provers