Verifying Cryptographic Operator Session...