F. Berti, S. Faust, and M. Orlt, “Provable Secure Parallel Gadgets”, TCHES, vol. 2023, no. 4, pp. 420–459, Aug. 2023, doi: 10.46586/tches.v2023.i4.420-459.