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

Funded By
US Air Force
Project Investigator
Prof. Sandeep K. Shukla