A Lean Transformer Model for Dynamic Malware Analysis and Detection