A. Aly, T. Ashur, E. Ben-Sasson, S. Dhooghe, and A. Szepieniec, “Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols”, ToSC, vol. 2020, no. 3, pp. 1–45, Sep. 2020.