@article{ ABB+23,
  author        = {Santiago Arranz Olmos and Gilles Barthe and Benjamin Gr{\'e}goire and Vincent Laporte and Jean-Christophe L{\'e}chenet and 
                   Tiago Oliveira and Peter Schwabe},
  title         = {High-assurance zeroization},
  journal       = {Transactions on Cryptographic Hardware and Embedded Systems},
  publisher     = {Ruhr University Bochum},
  issue         = {2024-1},
  year          = {2023},
  pages         = {375--397},
  note          = {\url{http://cryptojedi.org/papers/\#clearstack}},
}