Trapdoor pseudo-random number generators, with applications to protocol design | IEEE Conference Publication | IEEE Xplore