Oracle separation in the non-uniform modelBuldas, Ahto; Laur, Sven; Niitsoo, MargusProvable Security : Third International Conference : ProvSec 2009 : Guangzhou, China, November 11-13, 2009 : proceedings2009 / p. 230-244https://link.springer.com/content/pdf/10.1007/978-3-642-04642-1_19.pdf