[rwth-security] AMD’s Attack Vector Controls Enhance Linux Processor Security