A survey on deep learning for cybersecurity: Progress, challenges, and opportunities