z-OTS: a one-time hash-based digital signaturescheme with fast verification.

Amos Zheng Marcos A. Simplício Jr.

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

Keyphrases

transitive closure
formal verification
neural network
petri net
digital images
digital objects
circuit design
functional verification