Login / Signup
High-Assurance Cryptography Software in the Spectre Era.
Gilles Barthe
Sunjay Cauligi
Benjamin Grégoire
Adrien Koutsos
Kevin Liao
Tiago Oliveira
Swarn Priya
Tamara Rezk
Peter Schwabe
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
high assurance
software systems
fault tolerant
operating system
distributed systems
cellular automata
access control
software developers
software tools
test cases
data mining
source code
computer systems
software development
information security
software components
multi agent systems
cooperative
software maintenance
information retrieval