GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
SOLUTIONS
Automotive
Galois’s unique combination of expertise in formal methods, rigorous digital engineering, AI/ML, and cryptography perfectly position us to address the most pressing automotive security and autonomous system challenges of our day.
WHY GALOIS?
As cars have grown more complex over time, they have also grown more susceptible to cyberattacks. Hundreds of cyberattacks on automotive Electrical and Electronics (E/E) systems have been reported over the last decade, including cases in which hackers were able to unlock, start, or even gain remote control of electric vehicles (EVs). Simultaneously, artificial intelligence and machine learning (AI/ML) research is quickly advancing autonomous vehicle capabilities. These complex systems necessarily operate in uncertain and unstructured environments, and require rigorous analysis and testing to ensure safety on the open road. Galois harnesses deep expertise and decades of experience to solve the automotive industry’s biggest challenges.
Galois built the BESSPIN demonstrator, an interactive driving simulator that showcases how DARPA-funded secure-by-design hardware can protect vehicles from cyberattacks. BESSPIN demonstrates live hacking scenarios involving compromising a vehicle’s vulnerable infotainment Electronic Control Unit (ECU) and ultimately gaining control of critical systems such as the brakes or acceleration. We also created a secure automotive architecture for the demonstrator, which can stop incoming attacks, showcasing cybersecurity in action. BESSPIN spent several years on display at the National Cryptologic Museum in Maryland, educating the public on the importance of automotive cybersecurity.
Our team combines extensive formal methods experience with a mastery of AI/ML techniques and tools, human-machine teaming, multi-agent system design, cognitive science, and more. Our approach aims to address the challenge of trust-in-systems at multiple levels: technical, cognitive, and social.
In partnership with Cybernetica, Galois developed a privacy-preserving technology using Zero-Knowledge Proofs (ZKPs) that allows Estonian electric vehicle drivers to verify their eligibility for government subsidies without disclosing detailed travel data, making sophisticated cryptographic privacy measures accessible via a simple web browser interface.
Galois conducted a project for the National Highway Traffic Safety Administration (NHTSA) to analyze the evolution of automotive E/E systems’ architectures in terms of cybersecurity, producing a report that includes models of relevant architectures in AADL, and assesses past, present, and predicted future automotive cybersecurity trends.
.png)
