Sign in
High-assurance zeroization.
Santiago Arranz Olmos
Gilles Barthe
Ruben Gonzalez
Benjamin Grégoire
Vincent Laporte
Jean-Christophe Léchenet
Tiago Oliveira
Peter Schwabe
Published in:
IACR Trans. Cryptogr. Hardw. Embed. Syst. (2024)
Keyphrases
</>
high assurance
software systems
operating system
fault tolerant
distributed systems
access control
computer systems
software engineering
database
cooperative
source code
databases
database systems
information systems
data processing
open source
multi agent systems
real world
multi agent