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