Formal Verification Of Secure Automotive SW Updates (Chalmers, Volvo)


A technical paper titled "Towards a Formal Verification of Secure Vehicle Software Updates" was published by researchers at Chalmers University of Technology and Volvo. Abstract "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 increasingly critical. Software vuln... » read more

U. Of Florida: Protecting Chip-Design IP From Reverse-Engineering


New research paper titled "Hardening Circuit-Design IP Against Reverse-Engineering Attacks" from University of Florida. "Design-hiding techniques are a central piece of academic and industrial efforts to protect electronic circuits from being reverse-engineered. However, these techniques have lacked a principled foundation to guide their design and security evaluation, leading to a long line... » read more