Dual_Ec_Drbg backdoor: a proof of concept