Berti, F.; Faust, S.; Orlt, M. Provable Secure Parallel Gadgets. TCHES 2023, 2023, 420-459.