An efficient control flow validation method using redundant computing capacity of dual-processor architecture

• Qingran Wang,

  Roles Data curation, Formal analysis, Funding acquisition, Software, Writing – original draft

  Affiliations School of Computer Science and Technology Tianjin University, Tianjin, China, Tianjin Key Laboratory of Advanced Networking (TANK), Tianjin, China

  http://orcid.org/0000-0002-7073-016X

  ⨯
• Wei Guo,

  Roles Project administration, Supervision, Writing – review & editing

  Affiliations School of Computer Science and Technology Tianjin University, Tianjin, China, Tianjin Key Laboratory of Advanced Networking (TANK), Tianjin, China

  ⨯
• Jizeng Wei

  Roles Methodology, Project administration, Resources, Supervision

  * E-mail: weijizeng@tju.edu.cn

  Affiliations School of Computer Science and Technology Tianjin University, Tianjin, China, Tianjin Key Laboratory of Advanced Networking (TANK), Tianjin, China

  ⨯