One-way permutations and self-witnessing languages (2003)

by Christopher M. Homan, Mayur Thakur
Venue:Journal of Computer and System Sciences