EVOC: More efficient verifiable outsourced computation from any one-way trapdoor function | IEEE Conference Publication | IEEE Xplore