[rwth-security] Sicherheitsanalyse VeraCrypt