Arranz Olmos, Santiago, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, and Peter Schwabe. 2023. “High-Assurance Zeroization”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2024 (1):375-97. https://doi.org/10.46586/tches.v2024.i1.375-397.