F. Berti, S. Faust, and M. Orlt, “Provable Secure Parallel Gadgets”, TCHES, vol. 2023, no. 4, pp. 420–459, Aug. 2023.