SoK: Security Models for Pseudo-Random Number Generators. ToSC 2017, 2017 (1), 506-544. https://doi.org/10.13154/tosc.v2017.i1.506-544.