Michael Sanford

According to our database, Michael Sanford authored at least 5 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Testing access control and obligation policies.

Dianxiang Xu, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, Michael To

Proceedings of the International Conference on Computing, Networking and Communications, 2013

2012

Automated Security Test Generation with Formal Threat Models.

Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu

IEEE Trans. Dependable Secur. Comput., 2012

2011

Security Analysis of FileZilla Server Using Threat Models.

Michael Sanford, Daniel Woodraska, Dianxiang Xu

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Security mutation testing of the FileZilla FTP server.

Daniel Woodraska, Michael Sanford, Dianxiang Xu

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Computer viruses and malware by John Aycock.

Michael Sanford

SIGACT News, 2010