“Provable Secure Parallel Gadgets”, TCHES, vol. 2023, no. 4, pp. 420–459, Aug. 2023, doi: 10.46586/tches.v2023.i4.420-459.