In one of the articles, I read the following hypothesis:
We assume that the processor’s control logic is protected against faults via control-flow checking.
Regarding ARM processors, I wonder if the Program Counter Register (PC) is a part of the processor’s control logic or not.