“Revisiting Randomness Extraction and Key Derivation Using the CBC and Cascade Modes”, ToSC, vol. 2023, no. 4, pp. 391–419, Dec. 2023, doi: 10.46586/tosc.v2023.i4.391-419.