Performing human-machine verification