CORESAFE:A Formal Approach against Code Replacement Attacks on Cyber PhysicalSystems
Abstract
Develop a formal approach to recognize a replacement of previously vetted controlsoftware, or other software components in the system by malicious variants. Develop a theory of behavioral signatures based on abstraction of control programs into omega-regular language, and experimentally validate if the abstraction to too coarse to give too many false positives. Last, explore the theory of the extra constraint based omega regular languages and check the feasibility of decision problems required for their method to work.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Sep 21, 2018
- Source ID
- FA23861614099
Entities
People
- Sandeep Shukla
Organizations
- Air Force Office of Scientific Research
- Indian Institute of Technology Kanpur
- United States Air Force