Proof-of-forgery for hash-based signatures.

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

Published in: CoRR (2019)

Keyphrases

signature verification
digital images
skilled forgeries
signature recognition
transitive closure
theorem proving
genetic algorithm
theorem prover
jpeg images
linear logic
index tree