Novelty

1. The most important initial step for designing a security mechanism is to verify the proposed method against attacks. We have developed novel SMT based verification methods for both single node and multi node automotive EE architectures.


2. SMT-based method formally ensures the validity of the proposed designs.


3. We extended the well-known VENTOS simulation platform for connected vehicles by incorporating customizable vehicle dynamics into it. It facilitates design and implementation of control-theoretic attack detection and mitigation strategies.