CVS at Work: A Report on New Failures upon some Cryptographic Protocol