D. Miller 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