C.  Miller and Shi, Y., ?Universal Security for Randomness Expansion from the Spot-Checking Protocol?, SIAM Journal on Computing, vol. 46, no. 4, 2017.