Sign In
Skip to content

Main Navigation

Blogs
  • Products
    • All Products
    • AMS Verification
    • Additive Manufacturing Software
    • Aprisa
    • Capital
    • Catchbook
    • Design with Calibre
    • EDA Consulting Services
    • Fibersim
    • HLS Design & Verification Blog
    • HyperLynx PCB Analysis
    • JT
    • Mendix
    • MindSphere
    • NX Design
    • NX Industrial Electrical Design
    • NX Manufacturing
    • Opcenter
    • PADS Desktop PCB Design
    • PCBflow
    • PLM Components
    • Polarion
    • Questa
    • Semiconductor Packaging
    • Service Lifecycle Management
    • Simcenter
    • Solid Edge
    • Teamcenter
    • Teamcenter Manufacturing
    • Tecnomatix
    • Tessent Solutions
    • Valor
    • Valor DFM Solutions
    • Xpedition Enterprise Blog
  • Industries
    • Aerospace & Defense
    • Automotive & Transportation
    • Consumer Products & Retail
    • Electronics & Semiconductors
    • Energy & Utilities
    • Heavy Equipment
    • Industrial Machinery
    • Marine
    • Medical Devices & Pharmaceuticals
  • Podcasts
    • All Podcasts
    • 3D IC
    • AI Spectrum
    • Additive Manufacturing Podcast
    • Automotive E/E Systems Revolution Podcast
    • Digital Powers Flexible: Consumer Products Podcast
    • Digital Transformation Podcast
    • Energy Transformation Podcast
    • Engineer Innovation Podcast
    • Innovation in the Classroom Podcast
    • Model Based Matters
    • Next Generation Design Podcast
    • Startups: Digitalization to Realization Podcast
    • Talking Aerospace Today Podcast
    • The Future Car Podcast
    • The Voice of Smart Digital Manufacturing Podcast
    • Where Today Meets Tomorrow Podcast
  • Thought Leadership
    • Thought Leadership Blog
    • Embedded Software
    • Expert Insights
    • Simulating the Real World
    • Verification Horizons
  • Corporate
    • Corporate Blog
    • Academic
    • Partners
    • Realize LIVE
    • Small & Medium Business
    • Xcelerator
    • Xcelerator Academy
  • Community
  1. Thought Leadership
  2. Verification Horizons

root of trust

ADAS_Empty_Cockpit

Navigating the Intersection of Safety and Security

March 11, 2022

Automotive IC safety and security continue to be hot topics across the industry, and one phrase you may often hear…

By Jake Wiltgen
3 MIN READ
How Formal Techniques Can Keep Hackers from Leaving You in the Cold

How Formal Techniques Can Keep Hackers from Leaving You in the Cold

November 15, 2016

While internet connected vehicles remain a popular target for hackers, the new breed of “smart” devices have the potential to…

By Joe Hupcey III
5 MIN READ
How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 2 of 2

How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 2 of 2

August 18, 2015

In Part 1 of this series, inspired by security researchers that were able take over a new Jeep and drive…

By Joe Hupcey III
3 MIN READ
How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 1 of 2

How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 1 of 2

August 5, 2015

[Preface: everywhere it refers to automobiles in this post, you can also swap in “X-Ray machine”, “pacemaker”, and “aircraft”] The…

By Joe Hupcey III
3 MIN READ