3 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Frederico Araujo, Dhilung Kirat, Xiaokui Shu +2
A formal cyber reasoning framework for automating the threat hunting process is described. The new cyber reasoning methodology introduces an operational semantics that operates ove…