Papers
- Andrea Franceschi, Letterio Galletta, Pierpaolo Degano - Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code - 23rd International Conference on Software Engineering and Formal Methods (SEFM 2025)
- Andrea Franceschi, Letterio Galletta, Pierpaolo Degano - Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code(*) - ITASEC25 (Joint National Conference on Cybersecurity (ITASEC & SERICS))
(*)Oral communication/preliminary work
