CORESAFE: A Formal Approach against Code Replacement Attacks on Cyber Physical Systems

Submitted by user123 on Sat, 07/24/2021 - 12:33
Funded By
US Air Force
Project Investigator
Prof. Sandeep K. Shukla