Attack Assessment

In this AFRL-funded effort, ATC-NY applied techniques from automated reasoning and formal methods to help computer forensic investigators reconstruct a computer-based crime from the available evidence. We developed a formal model of complex computer attacks and demonstrated its use on realistic examples.

As part of this effort, ATC-NY also participated in the adversarial sciences activities at AFRL. We developed core capabilities in this area, specifically concentrating on attacks on the lower protocol levels, such as router level and below.