Login / Signup
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
José Bacelar Almeida
Manuel Barbosa
Gilles Barthe
Benjamin Grégoire
Adrien Koutsos
Vincent Laporte
Tiago Oliveira
Pierre-Yves Strub
Published in:
CoRR (2019)
Keyphrases
</>
high assurance
high speed
software systems
fault tolerant
operating system
distributed systems
access control
low power
real time
high speed networks
frame rate
random number generators
efficient implementation
data sets
multi agent systems
database systems
databases
database