Cummings receives funding for project focused on synthesizing temporal logic & human performance models for deception mitigation
Mary L. Cummings, Professor, Mechanical Engineering, Electrical & Computer, Computer Science, received funding for the project: "Synthesizing temporal logic and human performance models for deception mitigation."
Deception is a key element in attacks on military and civilian cyber-physical systems. With increasing use of automation and autonomy in such systems, such vulnerabilities to deception are growing, with catastrophic outcomes, as evidenced by recent major breaches in cybersecurity across the U.S. Department of Defense.
There is a pressing need to understand long-term adversarial strategies where one hostile action is largely harmless ...











