Showing cs.CRShow 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.CR2024
LLMSecCode: Evaluating Large Language Models for Secure Coding
Anton Rydén, Erik Näslund, Elad Michael Schiller +1
The rapid deployment of Large Language Models (LLMs) requires careful consideration of their effect on cybersecurity. Our work aims to improve the selection process of LLMs that ar…