IRS-Assisted Secure UAV Transmission via Joint Trajectory and Beamforming Design | Synapse