“High-assurance zeroization” (2023) IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024(1), pp. 375–397. doi:10.46586/tches.v2024.i1.375-397.