Minimally Intrusive Safety and Security Verification of Rust RTIC Applications

Author(s):
Pawel Dzialo, Ivar Jönsson, Malte Münch, Erik Serrander, Johan Eriksson, Per Lindgren
Location:
Europe
Year:
2025
Type:
Presentation
Format:
pdf