Proof-of-Forgery for Hash-based Signatures.

Evgeniy O. Kiktenko Mikhail A. Kudinov Andrey A. Bulychev Aleksey K. Fedorov

Published in: SECRYPT (2021)

Keyphrases

signature verification
digital images
skilled forgeries
transitive closure
signature recognition
digital signature
linear logic
proof theory
complete axiomatization