Arranz Olmos, Santiago, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, and Peter Schwabe. “High-Assurance Zeroization”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2024, no. 1 (December 4, 2023): 375–397. Accessed May 20, 2024. https://tches.iacr.org/index.php/TCHES/article/view/11256.