HiBank Case Study: Strengthening Cybersecurity with Automated Security Validation