Verification of secure biometric authentication protocols