Ruhault, S. SoK: Security Models for Pseudo-Random Number Generators. ToSC 2017, 2017, 506-544.