Galido
OCTOBER 6, 2016
Automakers want to standardize on a Linux-based OS that would make vehicle infotainment systems act more like smartphones. Automakers are working to standardize on a Linux-based operating system for in-vehicle infotainment (IVI) systems that would make it easier for cars to act more like smartphones. In Vehicle Infotainment.
ForAllSecure
APRIL 3, 2019
It is pertinent that we check all software; not just a few programs or those a developer chooses to submit. It’s the same in security: if we can give users crash test data for programs, they will be able to make better choices. In academia, our research focused on program verification but with a twist.
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
ForAllSecure
APRIL 3, 2019
It is pertinent that we check all software; not just a few programs or those a developer chooses to submit. It’s the same in security: if we can give users crash test data for programs, they will be able to make better choices. In academia, our research focused on program verification but with a twist.
ForAllSecure
APRIL 3, 2019
It is pertinent that we check all software; not just a few programs or those a developer chooses to submit. It’s the same in security: if we can give users crash test data for programs, they will be able to make better choices. In academia, our research focused on program verification but with a twist.
ForAllSecure
JANUARY 17, 2023
” Automotive cybersecurity is bad. For example, take Mayhem 's result on 1,644 open source programs. In 2022, Mayhem explored over 132 billion new code paths in those programs, automatically authored 2.24 million tests will crash, hang, or break program logic due to 29,691 new unique bugs. million vehicles.
ForAllSecure
MARCH 14, 2022
.” The event, which was captured on video and also reported in Wired magazine, sent a message to the automotive industry. In fact, I remember starting a new job by flying to Auburn Hills, Michigan for the very first meeting of the Featherstone Group, a collection of automotive OEM executive and security professionals.
ForAllSecure
MAY 12, 2020
As a young professor, I spent 4 weeks every summer visiting these sites as part of the (unremarkably named) Computer Science Study Group , a research program run by DARPA and the Institute for Defense Analysis. Mayhem automatically patched (to the security expert, a better term is probably “harden”) programs. Match made.
Expert insights. Personalized for you.
60 
Let's personalize your content