Folding Schemes with Selective Verification.

Carla Ràfols Alexandros Zacharakis

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

Keyphrases

model checking
asynchronous circuits
probabilistic model
fine grained
signature verification
formal verification
concurrent systems
artificial intelligence
information systems
feature selection
multiscale
data structure
face verification
formal methods
functional verification