Abstract: Semantic attacks against programmable logic controllers (PLCs) can manipulate industrial control systems (ICS) and cause severe physical disruptions. Yet, existing researches remain ...