Makarim, Rusydi H., and Raghvendra Rohit. 2022. “Towards Tight Differential Bounds of Ascon: A Hybrid Usage of SMT and MILP”. IACR Transactions on Symmetric Cryptology 2022 (3):303-40. https://doi.org/10.46586/tosc.v2022.i3.303-340.