Return to Article Details Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults Download Download PDF