Microarchitectural Control-flow Integrity (μCFI): Thwarting Timing & Hijacking Attacks

In a study, researchers from COMSEC, the computer security group at ETH Zurich’s Department of Information Technology and Electrical Engineering (D-ITET), have developed and formally verified Microarchitectural Control-flow Integrity (μCFI),...