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