About this Journal Submit a Manuscript Table of Contents
ISRN Artificial Intelligence
Volume 2012 (2012), Article ID 271878, 6 pages
http://dx.doi.org/10.5402/2012/271878
Research Article

AI-Complete CAPTCHAs as Zero Knowledge Proofs of Access to an Artificially Intelligent System

Computer Engineering and Computer Science, University of Louisville, Louisville, KY 40292, USA

Received 12 August 2011; Accepted 10 September 2011

Academic Editors: Y. Liu and P. Trunfio

Copyright © 2012 Roman V. Yampolskiy. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. E. Yudkowsky, “Artificial intelligence as a positive and negative factor in global risk,” in Global Catastrophic Risks, N. Bostrom and M. M. Cirkovic, Eds., pp. 308–345, Oxford University Press, Oxford, UK, 2008.
  2. N. Bostrom, “Ethical Issues in advanced artificial intelligence,” Review of Contemporary Philosophy, vol. 5, pp. 66–73, 2006.
  3. B. Hibbard, “The Ethics and Politics of Super-Intelligent Machines,” 2005, http://www.ssec.wisc.edu/~billh/g/SI_ethics_politics.doc.
  4. D. J. Chalmers, “The singularity: a philosophical analysis,” Journal of Consciousness Studies, vol. 17, no. 9-10, pp. 7–65, 2010.
  5. J. S. Hall, “Ethics for Machines,” 2000, http://autogeny.org/ethics.html.
  6. C. M Shulman, “Arms control and intelligence explosions,” in Proceedings of the 7th European Conference on Computing and Philosophy, Barcelona, Spain, 2009.
  7. I. J. Good, “Speculations concerning the first ultraintelligent machine,” Advances in Computers, vol. 6, pp. 31–88, 1966. View at Publisher · View at Google Scholar
  8. S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, Upper Saddle River, NJ, USA, 2003.
  9. R. Sparrow, “Killer Robots,” Journal of Applied Philosophy, vol. 24, no. 1, pp. 62–77, 2007.
  10. M. Blum, “How to prove a theorem so no one else can claim it,” in Proceedings of the International Congress of Mathematicians, pp. 1444–1451, Berkeley, Calif, USA, August 1986.
  11. R. V. Yampolskiy and V. Govindaraju, “Embedded noninteractive continuous bot detection,” ACM Computers in Entertainment, vol. 5, no. 4, article 7, 2008. View at Publisher · View at Google Scholar
  12. C. Pope and K. Kaur, “Is it human or computer? Defending e-commerce with captchas,” IT Professional, vol. 7, no. 2, pp. 43–49, 2005. View at Publisher · View at Google Scholar
  13. A. Turing, “Computing machinery and intelligence,” Mind, vol. 59, no. 236, pp. 433–460, 1950.
  14. R. M. French, “The turing test: the first 50 years,” Trends in Cognitive Sciences, vol. 4, no. 3, pp. 115–122, 2000. View at Publisher · View at Google Scholar
  15. M. Naor, “Verification of a human in the loop or identification via the turing test,” 1996, http://www.wisdom.weizmann.ac.il/~naor/PAPERS/human_abs.html.
  16. H. S. Baird and K. Popat, “Human interactive proofs and document image analysis,” in Proceedings of the 5th International Workshop on Document Analysis Systems, pp. 507–518, August 2002.
  17. R. M. Sampson, “Reverse Turing Tests and Their Applications,” 2006, http://www-users.cs.umn.edu/~sampra/research/ReverseTuringTest.PDF.
  18. A. L. Coates, H. S. Baird, and R. J. Fateman, “Pessimal print: a reverse turing test,” in Proceedings of the 6th International Conference on Document Analysis and Recognition, pp. 1154–1158, Seattle, Wash, USA, September 2001.
  19. K. Chellapilla, K. Larson, P. Simard, and M. Czerwinski, “Designing human friendly Human Interaction Proofs (HIPs),” in Proceedings of the ACM Conference on Human Factors in Computing Systems, pp. 711–720, ACM, New York, NY, USA, April 2005.
  20. J. Xu, R. Lipton, I. Essa, M. Sung, and Y. Zhu, “Mandatory human participation: a new authentication scheme for building secure systems,” in Proceedings of the 2th International Conference on Computer Communications and Networks, pp. 547–552, October 2003.
  21. L. von Ahn, M. Blum, and J. Langford, “How Lazy Cryptographers do AI,” Communications of the ACM, vol. 47, no. 2, 2007.
  22. L. V. Ahn, Utilizing the power of human cycles, thesis proposal, Carnegie Mellon University, 2004.
  23. K. Chellapilla and P. Simard, “Using machine learning to break visual human interaction proofs (HIPs),” in Proceedings of the 17th Advances in Neural Information Processing Systems Conference (NIPS '04), MIT Press, Vancouver, Canada, December 2004.
  24. G. Mori and J. Malik, “Recognizing objects in adversarial clutter: breaking a visual CAPTCHA,” in Proceedings of the 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp. I-134–I-144, June 2003.
  25. E. F. Aboufadel, J. Olsen, and J. Windle, “Breaking the holiday inn priority club CAPTCHA,” The College Mathematics Journal, vol. 36, no. 2, 2005.
  26. G. Moy, N. Jones, C. Harkless, and R. Potter, “Distortion estimation techniques in solving visual CAPTCHAs,” in Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR '04), pp. II-23–II-28, July 2004.
  27. Y. Rui, Z. Liu, S. Kallin, G. Janke, and C. Paya, “Characters or Faces: a user study on ease of use for HIPs,” in Proceedings of the 2nd International Workshop on Human Interactive Proofs, Lehigh University, Bethlehem, Pa, USA, May 2005.
  28. K. Chellapilla, K. Larson, P. Y. Simard, and M. Czerwinski, “Computers beat Humans at Single Character Recognition in Reading based Human Interaction Proofs (HIPs),” in Proceedings of the 2nd Conference on Email and Anti-Spam, Stanford University, California, USA, July 2005.
  29. K. Chellapilla, K. Larson, P. Y. Simard, and M. Czerwinski, “Building segmentation based human-friendly human interaction proofs (HIPs),” in Proceedings of the 2nd International Workshop of Human Interactive Proofs (HIP '05), H. S. Baird and D. P. Lopresti, Eds., pp. 1–26, Springer, Bethlehem, Pa, USA, May 2005.
  30. S.-Y. Wang, H. S. Baird, and J. L. Bentley, “CAPTCHA challenge tradeoffs: familiarity of strings versus degradation of images,” in Proceedings of the 18th International Conference on Pattern Recognition (ICPR '06), pp. 164–167, August 2006. View at Publisher · View at Google Scholar
  31. M. May, “Inaccessibility of CAPTCHA. Alternatives to Visual Turing Tests on the Web, W3C Working Group Not,” 2005, http://www.w3.org/TR/turingtest/.
  32. D. Lopresti, “Leveraging the CAPTCHA problem,” in Proceedings of the 2nd International Workshop on Human Interactive Proofs (HIP '05), pp. 97–110, May 2005.
  33. L. von Ahn, M. Blum, N. J. Hopper, and J. Langford, “CAPTCHA: using hard AI problems for security,” Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2656, pp. 294–311, 2003.
  34. J. Bentley and C. L. Mallows, “CAPTCHA challenge strings: problems and improvements,” in Proceedings of the Document Recognition & Retrieval, pp. 141–147, San Jose, Calif, USA, January 2006.
  35. H. S. Baird and T. Riopka, “ScatterType: a reading CAPTCHA resistant to segmentation attack,” in The 12th IS&T/SPIE Conference on Document Recognition and Retrieval (DRR '05), Proceedings of SPIE, pp. 197–207, San Jose, Calif, USA, January 2005.
  36. H. S. Baird, M. A. Moll, and S.-Y. Wang, “A highly legible CAPTCHA that resists segmentation attacks,” in Proceedings of the 2nd International Workshop on Human Interactive Proofs (HIP '05), vol. 3517, pp. 27–41, Bethlehem, Pa, USA, May 2005.
  37. H. S. Baird, M. A. Moll, and S.-Y. Wang, “ScatterType: a legible but hard-to-segment CAPTCHA,” in Proceedings of the 8th International Conference on Document Analysis and Recognition, pp. 935–939, September 2005. View at Publisher · View at Google Scholar
  38. M. Chew and H. S. Baird, “A human interactive proof,” in Proceedings of the10th SPIE-IS&T Electronic Imaging, Document Recognition and Retrieval, pp. 305–316, January 2003.
  39. P. Y. Simard, R. Szeliski, J. Benaloh, J. Couvreur, and I. Calinov, “Using character recognition and segmentation to tell computer from humans,” in Proceedings of the 7nth International Conference on Document Analysis and Recognition, August 2003.
  40. W.-H. Liao and C.-C. Chang, “Embedding information within dynamic visual patterns,” in Proceedings of the IEEE International Conference on Multimedia and Expo (ICME '04), pp. 895–898, June 2004.
  41. M. Chew and J. D. Tygar, “Image recognition captchas,” in Proceedings of the th International Information Security Conference, pp. 268–279, Springer, September 2004.
  42. W.-H. Liao, “A CAPTCHA mechanism by exchanging image blocks,” in Proceedings of the 18th International Conference on Pattern Recognition (ICPR '06), pp. 1179–1183, August 2006. View at Publisher · View at Google Scholar
  43. M. Dailey and C. Namprempre, “A text-graphics character CAPTCHA for password authentication,” in Proceedings of the 2004 IEEE Region 10 Conference (TENCON '04), pp. 45–48, November 2004.
  44. D. Misra and K. Gaj, “Face recognition CAPTCHAs,” in Proceedings of the Advanced International Conference on Telecommunications andInternational Conference on Internet and Web Applications and Services, (AICT-ICIW '06), p. 122, February 2006. View at Publisher · View at Google Scholar
  45. Y. Rui and Z. Liu, “ARTiFACIAL: automated reverse turing test using FACIAL features,” in Proceedings of the 11th ACM International Conference on Multimedia, pp. 295–298, November 2003.
  46. Y. Rui and Z. Liu, “Excuse me, but are you human?” in Proceedings of the 11th ACM International Conference on Multimedia, pp. 462–463, Berkeley, Calif, USA, November 2003.
  47. G. Kochanski, D. Lopresti, and C. Shih, “A reverse turing test using speech,” in Proceedings of the International Conferences on Spoken Language Processing, pp. 1357–1360, Denver, Colorado, 2002.
  48. T.-Y. Chan, “Using a Text-to-Speech Synthesizer to generate a reverse Turing Test,” in Proceeding of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI '03), pp. 226–232, November 2003.
  49. A. Rusu and V. Govindaraju, “A human interactive proof algorithm using handwriting recognition,” in Proceedings of the 8th International Conference on Document Analysis and Recognition, pp. 967–970, September 2005. View at Publisher · View at Google Scholar
  50. A. Rusu and V. Govindaraju, “Handwritten CAPTCHA: using the difference in the abilities of humans and machines in reading handwritten words,” in Proceedings of the 9th International Workshop on Frontiers in Handwriting Recognition (IWFHR-9 '04), pp. 226–231, October 2004.
  51. R. V. Hall, “CAPTCHA as a Web Security Control,” 2006, http://www.richhall.com/captcha/.
  52. H. S. Baird and J. L. Bentley, “Implicit CAPTCHAs,” in The 12th IS&T/SPIE Conference on Document Recognition and Retrieval (DRR '05), Proceedings of SPIE, pp. 191–196, San Jose, Calif, USA, January 2005.
  53. E. S. Raymond, Jargon File Version 2.8.1, March 1991, http://www.wisdom.weizmann.ac.il/~naor/PAPERS/human_abs.html.
  54. R. V. Yampolskiy, “AI-complete, AI-hard, or AI-easy: classification of problems in artificial intelligence,” type 02, Computer Engineering and Computer Science. University of Louisville, Louisville, Ky, USA, 2011, http://louisville.edu/speed/computer/tr/UL_CECS_02_2011.pdf.
  55. E. T. Mueller, Daydreaming and computation, Ph.D. dissertation, University of California, Los Angeles, Calif, USA, 1987.
  56. J. C. Mallery, “Thinking about foreign policy: finding an appropriate role for artificially intelligent computers,” in Proceedings of the Annual Meeting of the International Studies Association, St. Louis, Mo, USA, 1998.
  57. C. Gentry, Z. Ramzan, and S. Stubblebine, “Secure distributed human computation,” in Proceedings of the 6th ACM Conference on Electronic Commerce, pp. 155–164, June 2005. View at Publisher · View at Google Scholar
  58. P. J. Phillips and J. R. Beveridge, “An introduction to biometric-completeness: the equivalence of matching and quality,” in Proceedings of the IEEE 3rd International Conference on Biometrics: Theory, Applications and Systems (BTAS '09), pp. 1–5, Washington, DC, USA, September 2009. View at Publisher · View at Google Scholar
  59. R. Bergmair, “Natural Language Steganography and an ”AI-complete” Security Primitive,” in Proceedings of the 21st Chaos Communication Congress, Berlin, December 2004.
  60. N. Ide and J. Véronis, “Introduction to the special issue on word sense disambiguation: the state of the art,” Computational Linguistics, vol. 24, no. 1, pp. 1–40, 1998.
  61. R. Navigli and P. Velardi, “Structural semantic interconnections: a knowledge-based approach to word sense disambiguation,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 27, no. 7, pp. 1075–1086, 2005. View at Publisher · View at Google Scholar · View at PubMed
  62. A. S. Nejad, A framework for analyzing changes in health care lexicons and nomenclatures, Ph.D. dissertation, Concordia University, Montreal, Quebec, Canada, 2010.
  63. J. Chen, J. Liu, W. Yu, and P. Wu, “Combining lexical stability and improved lexical chain for unsupervised word sense disambiguation,” in Proceedings of the 2009 2nd International Symposium on Knowledge Acquisition and Modeling (KAM '09), pp. 430–433, December 2009. View at Publisher · View at Google Scholar
  64. J. P. McIntire, P. R. Havig, and L. K. McIntire, “Ideas on authenticating humanness in collaborative systems using AI-hard problems in perception and cognition,” in Proceedings of the IEEE 2009 National Aerospace and Electronics Conference (NAECON '09), pp. 50–55, July 2009. View at Publisher · View at Google Scholar
  65. J. P. McIntire, L. K. McIntire, and P. R. Havig, “A variety of automated turing tests for network security: using AI-hard problems in perception and cognition to ensure secure collaborations,” in Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems (CTS '09), pp. 155–162, May 2009. View at Publisher · View at Google Scholar
  66. E. Mert and C. Dalkilic, “Word sense disambiguation for Turkish,” in Proceedings of the 24th International Symposium on Computer and Information Sciences (ISCIS '09), pp. 205–210, Guzelyurt, Turkey, September 2009.
  67. J. Hendler, “We've come a long way, maybe,” IEEE Intelligent Systems, vol. 23, no. 5, pp. 2–3, 2008.
  68. L. Leahu, P. Sengers, and M. Mateas, “Interactionist AI and the promise of ubicomp, or, how to put your box in the world without putting the world in your box,” in Proceedings of the 10th International Conference on Ubiquitous Computing, pp. 1–10, Seoul, South Korea, September 2008.
  69. L. von Ahn, M. Blum, N. J. Hopper, and J. Langford, “CAPTCHA: using hard AI problems for security,” Lecture Notes in Computer Science, vol. 2656, pp. 294–311, 2003.
  70. D. Shahaf and E. Amir, “Towards a theory of AI completeness,” in Proceedings of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense '07), Stanford University, Stanford, Calif, USA, March 2007.
  71. P. Demasi, J. L. Szwarcfiter, and A. J. O. Cruz, “A theoretical framework to formalize AGI-Hard problems,” in Proceedings of the 3rd Conference on Artificial General Intelligence (AGI '10), pp. 178–179, Lugano, Switzerland, March 2010.
  72. S. C. Shapiro, “Artificial intelligence,” in Encyclopedia of Artificial Intelligence, S. C. Shapiro, Ed., pp. 54–57, John Wiley, New York, NY, USA, 1992.