“Provable Secure Parallel Gadgets”. 2023. IACR Transactions on Cryptographic Hardware and Embedded Systems 2023 (4): 420-59. https://doi.org/10.46586/tches.v2023.i4.420-459.