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

Xindong Liu Li-Ping Wang

Published in: Public Key Cryptography (2) (2024)

Keyphrases

computer vision
theorem proving
static analysis
formal proof
e learning
probabilistic model
computer programs
decision procedures
equational theories