Folding Schemes with Selective Verification.

Carla Ràfols Alexandros Zacharakis

Published in: LATINCRYPT (2023)

Keyphrases

formal verification
model checking
face verification
signature verification
data sets
genetic algorithm
artificial intelligence
computer vision
database systems
protein folding
asynchronous circuits
concurrent systems
energy landscape