A TALE OF TWO SYSTEMS: BRIDGING STATISTICAL LEARNING AND FORMAL REASONING FOR CYBER ATTACK DETECTION

$333,333FY2014Department of DefenseDOD

Purdue University, West Lafayette IN

Investigators