Robustness Propagation Through Systems of Heterogeneous CC Components (A12b)
IoT systems become highly dynamic and configurable raising evaluation difficulties. They have multiple components with different robustness levels. Connect the components’ security functions during integration... Read More
Track Keynote: Why I Care About the Security of Your Car (A12a)
Traditionally verification in automotive was centered around safety, protection against unintentional problems. Now it is time to look at security, or how do we protect... Read More