High-Assurance Cryptography Software in the Spectre Era.
Gilles BartheSunjay CauligiBenjamin GrégoireAdrien KoutsosKevin LiaoTiago OliveiraSwarn PriyaTamara RezkPeter SchwabePublished 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