Your Selections
Filters
Collections
File Formats
Content Types
Dates
Sectors
Topics
Authors
Publishers
Affiliations
Committees
Events
Magazine
Series
SAE International Journal of Transportation Cybersecurity and Privacy
- Journal
- V128-11EJ
Intelligent Vehicle Monitoring for Safety and Security
- Technical Paper
- 2019-01-0129
Ensuring Fuel Economy Performance of Commercial Vehicle Fleets using Blockchain Technology
- Technical Paper
- 2019-01-1078
A Study on Comprehensive Evaluation of Intelligent Connected Vehicle Cybersecurity
- Technical Paper
- 2019-01-0477
Wireless Charging for EV/HEV with Prescriptive Analytics, Machine Learning, Cybersecurity and Blockchain
- Technical Paper
- 2019-01-0790
In-Service Aircraft Cybersecurity Risk Assessment
- Technical Paper
- 2019-01-1329
A Comprehensive Attack and Defense Model for the Automotive Domain
- Journal Article
- 11-02-01-0001
Validating Requirements and Improving Specifications with Telematics Data
- Professional Development
- C1897
Field failures cause high warranty expenses, perhaps the highest quality cost. Failures occur when new designs are introduced, existing products are sold in new markets, and product specifications don’t reflect actual product usage. Any mistake in product specifications affects the entire product development process and cascades through the supply chain.
Cybersecurity Considerations for Heavy Vehicle Event Data Recorders
- Journal Article
- 11-01-02-0006
Introduction to the Secure Microkernel, seL4
- Professional Development
- C1874
Security continues to be an ever-growing concern in more and more design spaces. There are daily articles about security breaches and there is a need for much higher security through the entire system stack. Thorough testing of systems can lead to stronger security in systems, but testing can only expose so many vulnerabilities. Formal methods is another solution that ensures specific behaviors will not occur. seL4 is the first formally proven microkernel and it is open-source. This makes it a great solution for systems that need strong security. The highest profile application of the seL4 Microkernel was in the DARPA High-Assurance Cyber Military Systems (HACMS) project where it was demonstrated that formal verification can scale to real-life systems to protect a wide range of cyber-physical systems from attacks. The biggest drawback of seL4 is that not many developers know about it or know how to utilize it.