Showing 2025Show all
2 papers · 1 filter
cs.CR2025
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…
cs.DC2025
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
Shlomi Dolev, Amit Hendin, Maurice Herlihy +2
The ability to perform repeated Byzantine agreement lies at the heart of important applications such as blockchain price oracles or replicated state machines. Any such protocol req…