C-rusted: The Advantages of Rust, in C, without the Disadvantages. - Roberto Bagnara; Abramo Bagnara; Federico Serafini (CoRR, 2023)

C-Rusted: Safe and Secure Programming in Standard C. - Roberto Bagnara; Abramo Bagnara; Federico Serafini; Nicola Vetrini (QRS Companion, 2024)