Login / Signup
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 Cryptol. ePrint Arch. (2023)
Keyphrases
</>
high assurance
software systems
fault tolerant
operating system
distributed systems
access control
load balancing
software engineering
computer systems
machine learning
e learning
data model
information technology
case study
database systems
data management