Self-witnessing polynomial-time complexity and prime factorization | IEEE Conference Publication | IEEE Xplore