Provable Secure Parallel Gadgets. TCHES. 2023;2023(4):420-459. doi:10.46586/tches.v2023.i4.420-459