Memory Simulations, Security and Optimization in a Verified Compiler.
David MonniauxPublished in: CoRR (2023)
Keyphrases
- information security
- optimization algorithm
- programming language
- access control
- intrusion detection
- computer security
- optimization method
- optimization process
- global optimization
- key management
- memory space
- security requirements
- statistical databases
- network security
- database
- application level
- security level
- memory requirements
- security mechanisms
- security policies
- simulation model
- numerical simulations
- main memory
- optimization problems
- neural network