Rigorous discrete logarithm computations in finite fields via smooth polynomials (1998)

by R L Bender, C Pomerance
Venue:Computational Perspectives on Number Theory: Proceedings of a Conference in Honor of A.O.L. Atkin, volume 7 of Studies in Advanced Mathematics