Concepedia

Author

Michael Sanford

Dakota State University

Also Known As

Michael Sanford

4

Publications

111

Citations

3

H-Index

11

Concepts

All Affiliations

Dakota State University
MS

About

Michael Sanford is an author at Dakota State University specializing in formal verification, test generation, and data security.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

98

2

Computer Science

1

1

98

3

Data Security

1

1

98

4

Information Security

1

1

98

5

Software Analysis

1

1

98

Michael Sanford

×

1

Publications

98

Citations

1

H-Index

YearCitations

Automated Security Test Generation with Formal Threat Models

Dianxiang Xu, Manghui Tu, Michael Sanford,

IEEE Transactions on Dependable and Secure Computing

2012

98

Page 1