Simulation-based security with inexhaustible interactive Turing machines | IEEE Conference Publication | IEEE Xplore