Securing Mixed Rust with Hardware Capabilities. - Jason Zhijingcheng Yu; Fangqi Han; Kaustab Choudhury; Trevor E. Carlson; Prateek Saxena (CoRR, 2025)