VehicleSec 2023 - Formally Verified Software Update Management System in Automotive

Name: VehicleSec 2023 - Formally Verified Software Update Management System in Automotive
Uploaded: 2023-01-01
Duration: 11 min 26 s
Description: VehicleSec 2023 - Formally Verified Software Update Management System in Automotive — a 2023 NDSS Symposium security conference talk on automotive (11:26 min). Watch the full video, indexed free on the Breach Arc Archive.

NDSS Symposium · 2023 · 11:26

▶

VehicleSec 2023 - Formally Verified Software Update Management System in Automotive — a 2023 NDSS Symposium security conference talk on automotive (11:26 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

automotive

← Back to the Breach Arc Archive