Leveraging Optimization Methods for Dynamically Assisted Control- Flow Integrity Mechanisms Computer Systems Laboratory