Revisiting Randomness Extraction and Key Derivation Using the CBC and Cascade Modes. ToSC. 2023;2023(4):391-419. doi:10.46586/tosc.v2023.i4.391-419