Anti-backdoor pseudo-random numbers for critical applications