[rwth-security] Intel's Software Guard Extensions broken? Don't panic