BranchSpec: Information Leakage Attacks Exploiting Speculative Branch Instruction Executions | IEEE Conference Publication | IEEE Xplore