Aly, A.; Ashur, T.; Ben-Sasson, E.; Dhooghe, S.; Szepieniec, A. Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols. ToSC 2020, 2020, 1-45.