Trace-Relating Compiler Correctness and Secure Compilation.
Carmine AbateRoberto BlancoStefan CiobacaAdrien DurierDeepak GargCatalin HritcuMarco PatrignaniÉric TanterJérémy ThibaultPublished in: ESOP (2020)
Keyphrases
- code generation
- general purpose
- programming language
- security issues
- neural network
- instruction scheduling
- authentication scheme
- sensitive data
- distributed memory machines
- database
- programs written
- user authentication
- software systems
- lightweight
- software development
- encryption scheme
- knowledge compilation
- security requirements
- smart card
- diffie hellman
- key exchange
- execution traces
- level parallelism
- information systems