The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks.