Arranz Olmos, S., Barthe, G., Gonzalez, R., Grégoire, B., Laporte, V., Léchenet, J.-C., … Schwabe, P. (2023). High-assurance zeroization. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024(1), 375–397. https://doi.org/10.46586/tches.v2024.i1.375-397