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