The need for more verification is evident in this problem that was pointed out to me re the workshop: http://dimacs.rutgers.edu/Workshops/Cryptographic The correct URL is: http://dimacs.rutgers.edu/Workshops/Security Hilarie