Daniel Woodraska

According to our database, Daniel Woodraska authored at least 3 papers between 2011 and 2012.

Collaborative distances:

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

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