Proof-of-Forgery for Hash-based Signatures Topics: Applied Cryptography; Formal Methods for Security In Proceedings of the 18th International Conference on Security and Cryptography SECRYPT - Volume 1, 333-342, 2021