Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2021/09/01 Vol. E104-ANo. 9pp. 1156-1162 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Cryptography and Information Security Keyword: symmetric-key cryptography, provable security, sponge construction, indifferentiability, SKINNY, SKINNY-HASH,