output
20172025
most citedRiver: machine learning for streaming data in Python

160 citations

researchers with a paper here
collaborating institutions
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2025★ 1 cited

Towards a Formal Verification of Secure Vehicle Software Updates

Martin Slind Hagen, Emil Lundqvist, Alex Phu +3

With the rise of software-defined vehicles (SDVs), where software governs most vehicle functions alongside enhanced connectivity, the need for secure software updates has become in…