D. Miller

DM

3

Publications

132

Citations

3

H-Index

2016

Active since

Affiliations

D. Miller is an author at Mitre (United States) specializing in formal verification, information security, and software analysis.

Publications per year

2016–2018

3

Publications

3