TY - RPRT TI - Detecting Safety and Security Faults in PLC Systems with Data Provenance AU - Abdullah Al Farooq AU - Jessica Marquard AU - Kripa George AU - Thomas Moyer PY - 2019 UR - https://arxiv.org/abs/1911.06304 ID - 1911.06304 ER -