In this work, we present PAtt, a system that combines remote software attestation with control process validation. PAtt leverages operation permutations -- subtle changes in the operation sequences based on integrity measurements -- which do not affect the physical process but yield unique traces ofsensor readings during execution. By encoding integrity measurements of the PLC’s memory state (software and data) into its control operation, our system allows us to remotely verifythe integrity of the control logic based on the resulting sensor traces.