Leveraging Optimization Methods for Dynamically Assisted Control-Flow Integrity Mechanisms.
João MoreiraLucas TeixeiraEdson BorinSandro RigoPublished in: SBAC-PAD (2014)
Keyphrases
- optimization methods
- control flow
- data flow
- optimization method
- simulated annealing
- software testing
- optimization problems
- global convergence
- optimization approaches
- process model
- unconstrained optimization
- quasi newton
- modeling language
- workflow management systems
- stochastic methods
- continuous optimization
- efficient optimization
- business process models
- direct optimization
- formal semantics
- database
- case study
- objective function
- memory hierarchy
- decision trees
- genetic algorithm
- transition systems