Sign in
High-Assurance Cryptography 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:
IEEE Symposium on Security and Privacy (2021)
Keyphrases
</>
high assurance
operating system
software systems
fault tolerant
cellular automata
distributed systems
access control
information security
computer systems
encryption algorithms
big data
metadata
real time
software development
open source
data analysis
image processing
cryptographic algorithms
data mining
data sets