SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications. - Oliver Braunsdorf; Tim Lange; Konrad Hohentanner; Julian Horsch; Johannes Kinder (CoRR, 2025)