Makarim, R. H., and R. Rohit. “Towards Tight Differential Bounds of Ascon: A Hybrid Usage of SMT and MILP”. IACR Transactions on Symmetric Cryptology, vol. 2022, no. 3, Sept. 2022, pp. 303-40, doi:10.46586/tosc.v2022.i3.303-340.