Security mutation testing of the FileZilla FTP server

Woodraska, Daniel, Michael Sanford, and Dianxiang Xu. 2011. “Security Mutation Testing of the FileZilla FTP Server”. Proceedings of the 2011 ACM Symposium on Applied Computing, 1425-30.

Last updated on 07/19/2023

Recent Publications

SMT-Based Verification of NGAC Policies
Coverage-Based Testing of Obligations in NGAC Systems
Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models
Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models
Towards Designing Shared Digital Forensics Instructional Materials
Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs

Professor and Director

Secondary menu

352H Flarsheim Hall, 5110 Rockhill

Kansas City, MO 64110