Blake E. Strom is an author at Mitre (United States) specializing in formal verification, information security, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware AnalysisFormal VerificationInformation SecurityAutomationCryptographyVerificationFormal MethodsSystem Software
Publications per year
2016–2018
3
3
Intelligent, automated red team emulation
Andy Applebaum, D. Miller, Blake E. Strom et al. · 2016 · 94 citations
Automated Adversary Emulation: A Case for Planning and Acting with Unknowns
D. Miller, Ron Alford, Andy Applebaum et al. · 2018 · 26 citations
Analysis of automated adversary emulation techniques
Andy Applebaum, D. Miller, Blake E. Strom et al. · 2017 · 12 citations
Rows per page
1–3 of 3