WORKSHOP PROGRAM Wednesday, January 9, 2002 --------------------------- 8:00 am continental breakfast 60 min 1. Introduction 9:00 am 1.1 Henry Baird Welcome to PARC 5 min 9:05 am 1.2 Manuel Blum, Introduction to the 10 min Lenore Blum, and Workshop and the Guy Blelloch NSF ALADDIN Cen- ter 9:15 am 1.3 Kris Popat Workshop logistics 5 min 2. Overview 9:20 am 2.1 Manuel Blum, HIPs: CAPTCHAs, 60 min Luis von Ahn, and HUMANOIDs Nick Hopper 3. The Challenges 10:20 am 3.1 Udi Manber Web Exploits 20 min 10:40 am 3.2 Robert Sloan The Research Chal- 10 min lenges 10:50 am coffee/juice break 15 min 4. Systems, Prototypes, Designs 11:05 am 4.1 Andrei Broder AddUrl 15 min 11:20 am 4.2 Dan Lopresti Spoken Language 15 min HIPs 11:35 am 4.3 Nancy Chan Sound Oriented 10 min CAPTCHA 11:45 am 4.4 Ke Yang Chinese CAPTCHA 10 min 11:55 am lunch, PARC Cafete- 60 min ria 12:55 pm 4.5 Charles Bennett Time-Bracketed 15 min Video Authentication 1:10 pm 4.6 Richard Fateman, Pessimal Print 20 min Allison Coates, CAPTCHA Kris Popat 1:30 pm 4.7 Doug Tygar, Human Factors and 60 min Rachna Dhamija, Security Alma Whitten 2:30 pm coffee/juice break 15 min 5. Formulations and Formal Models 2:45 pm 5.1 Moni Naor Human, Computers 20 min and Cryptography 3:05 pm 5.2 Ari Juels At the Juncture of 20 min Cryptography and Humanity 3:25 pm 5.3 Monica Chew Visual Illusions 10 min 3:35 pm 5.4 Adrian Perrig and User Authentication: 20 min Dawn Song Reflex instead of Re- flection 3:55 pm 5.5 Stuart Haber HIPs and 15 min DRM/DPM Systems 4:10 pm coffee/juice break 15 min 4:25 pm 5.6 John Langford CAPTCHA Boosting 15 min 4:40 pm 5.7 Brighten Godfrey Text Oriented 10 min CAPTCHA 4:50 pm 5.8 Bartosz Przydatek (Im)Possibility 20 min of Text-Only CAPTCHA 5:10 pm adjourn Thursday, January 10, 2002 --------------------------- 8:00 am continental breakfast 60 min 6. Plenary Talk 9:00 am 6.1 John McCarthy AI Frontiers: Ability- 30 min based CAPTCHAs (no abstract) 7. Visual Ability and CAPTCHAs 9:30 am 7.1 George Nagy Rate of Progress in 20 min Machine Reading 9:50 am 7.2 A. Lawrence Spitz A Feeble Classifier in 20 min Strong Contexts 10:10 am 7.3 Henry Baird Mapping OCR Com- 20 min petency 10:30 am coffee/juice break 15 min 10:45 am 7.4 Kris Popat OCR by Document 20 min Image Decoding 11:05 am 7.5 Prateek Sarkar Distinguishing Users 15 min by Ability to Interpret Respond 11:20 am 7.6 Tom Breuel Semantic Cryptogra- 10 min phy 11:30 am 7.7 David Goldberg On Snoop-Proof 10 min Password Systems 11:40 am 7.8 Dirk Balfantz and HIP Shots 10 min Tom Berson 11:50 am Lunch, PARC Cafe- 60 min teria 8. Auditory HumanOIDs = PhonOIDs 12:50 pm 8.1 Rachel Rue Eighty-Six bits of 15 min Memory Magic 1:05 pm 8.2 Manuel Blum PhonOID Protocol 15 min Class #81 9. Computer Vision and CAPTCHAs 1:20 pm 9.1 Jitendra Malik Visual Shape 30 min Recognition and CAPTCHAs 10. Working Group Discussions 1:50 pm Select topics 15 min 2:05 pm Break out into work- 160 min ing groups 4:45 pm Read-out from work- 40 min ing groups 5:25 pm adjourn Friday, January 11, 2002 --------------------------- 8:00 am continental breakfast 60 min 9:00 am Break 35 min 11. Readouts of Working Groups 9:35 am Theory 10 min 9:45 am Performance 10 min 9:55 am Vision 10 min 10:05 am Applications 10 min 10:15 am Break 15 min 12. Panel Discussion: The Way Forward 10:30 am 12.1 Henry Baird 12 min 10:42 am 12.2 Udi Manber 12 min 10:54 am 12.3 Doug Tygar 12 min 11:06 am 12.4 Manuel Blum 12 min 11:18 am General Discus- 60 min sion: Open Problems, Sound Engineering Methods 13. Planning Session 12:18 pm Proposals for Future 60 min Workshop, Activities 1:18 pm adjourn