Funded six-month thesis placement on cybersecurity for legacy UAS combining hardware/software reverse engineering with formal methods to identify vulnerabilities, model integrity/authenticity/availability, and validate mitigations via simulation and analysis.