[rwth-security] Bvp47 - Technical Details