@misc{cryptoeprint:2003:187, author = {Tatsuaki Okamoto and Ryo Kashima}, title = {Resource Bounded Unprovability of Computational Lower Bounds }, howpublished = {Cryptology ePrint Archive, Report 2003/187}, year = {2003}, url = {http://eprint.iacr.org/2003/187}, }