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