[rwth-security] SHA-3 Buffer Overflow