activity
20212026
most citedApplying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2021

ESAFE: Enterprise Security and Forensics at Scale

Bernard McShea, Kevin Wright, Denley Lam +7

Securing enterprise networks presents challenges in terms of both their size and distributed structure. Data required to detect and characterize malicious activities may be diffuse…