Short Code-based One-out-of-Many Proofs and Applications.

Xindong Liu Li-Ping Wang

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

Keyphrases

source code
formal proof
error correcting
mathematical proofs
database
real time
neural network
data mining
genetic algorithm
computer vision
video sequences
open source
computer programs
java programs