1 citations · 1 across the 4 of their papers we have counts for
4 papers
Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
Letitia W. Li, Denley Lam, Vu Le +3
While using formal methods offers advantages over unit testing, their steep learning curve can be daunting to developers and can be a major impediment to widespread adoption. To su…
Unsupervised clustering of file dialects according to monotonic decompositions of mixtures
Michael Robinson, Tate Altman, Denley Lam +1
This paper proposes an unsupervised classification method that partitions a set of files into non-overlapping dialects based upon their behaviors, determined by messages produced b…
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…
Automatic Knowledge Extraction with Human Interface
Steve Schmidt, Denley Lam, Patrick Hayden
OrbWeaver, an automatic knowledge extraction system paired with a human interface, streamlines the use of unintuitive natural language processing software for modeling systems from…