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

by C Homan, M Thakur
Venue:Journal of Computer and System Sciences