University of Southampton hosted the first HD-Sec workshop on 16 September 2021. The event took place virtually on MS Teams and was attended by HD-Sec industrial partners: AdaCore, Airbus, AWE, Capgemini, L3Harris, Thales group and Innovate UK.
Presentations
- Event-B Development of a Smart Ballot Box - Slides
- Prototyping the Smart Ballot Box - Slides, Demo 1, Demo 2
- Rigorous Hierarchical Requirements Analysis for Critical System Design - Slides
- Counterfeit Mitigation in IC Supply Chains - Slides