no code implementations • 21 Apr 2021 • Frederico Araujo, Dhilung Kirat, Xiaokui Shu, Teryl Taylor, Jiyong Jang
A formal cyber reasoning framework for automating the threat hunting process is described.