Trace-Relating Compiler Correctness and Secure Compilation.
Carmine AbateRoberto BlancoStefan CiobacaDeepak GargCatalin HritcuMarco PatrignaniÉric TanterJérémy ThibaultPublished in: CoRR (2019)
Keyphrases
- code generation
- instruction scheduling
- security issues
- programming language
- security requirements
- case study
- covert channel
- programs written
- security level
- key management
- general purpose
- lightweight
- security mechanisms
- security analysis
- user authentication
- constraint programming
- authentication scheme
- identity management
- software development
- neural network
- distributed memory machines