Daniel Woodraska

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j1		Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu: Automated Security Test Generation with Formal Threat Models. IEEE Trans. Dependable Sec. Comput. 9(4): 526-540 (2012)
	2011
c2		Daniel Woodraska, Michael Sanford, Dianxiang Xu: Security mutation testing of the FileZilla FTP server. SAC 2011: 1425-1430
c1		Michael Sanford, Daniel Woodraska, Dianxiang Xu: Security Analysis of FileZilla Server Using Threat Models. SEKE 2011: 678-682

Coauthor Index

Last update Tue May 21 18:14:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page