The Correctness-Security Gap in Compiler Optimization.
Vijay D'SilvaMathias PayerDawn Xiaodong SongPublished in: IEEE Symposium on Security and Privacy Workshops (2015)
Keyphrases
- optimization algorithm
- general purpose
- optimization problems
- global optimization
- security policies
- information security
- network security
- constrained optimization
- access control
- optimization model
- security threats
- information assurance
- optimization method
- functional requirements
- security mechanisms
- computer security
- parallel execution
- security problems
- security management