[rwth-security] On Linux's Random Number Generation