HEFLGuard: Backdoor Detection in Homomorphic Encryption-Based Federated Learning | AI Sec Watch