Papers

1. Andrea Franceschi, Letterio Galletta, Pierpaolo Degano - Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code(*) - ITASEC25 (Joint National Conference on Cybersecurity (ITASEC & SERICS))

   Download PDF

(*)Oral communication