SBD: Securing safe rust automatically from unsafe rust. - Shaowen Li; Hiroyuiki Sato (Sci. Comput. Program., 2025)