Session chair: Francesco Tiezzi

Vulnerable Open Source Dependencies: Counting Those That Matter
Ivan Pashchenko, Henrik Plate, Serena Elisa Ponta, Antonino Sabetta and Fabio Massacci

Common Criteria Certification of the VxWorks MILS Hypervisor for Security-Critical Embedded Systems
Domenico Cotroneo, Luigi De Simone and Roberto Natella

InfraStress: Enhancing Resilience of Industrial Plants against Cyber-Physical Threats
Denis Caleta, Aleksandar Jovanovic, Luigi Romano and Lorenzo Sutton

SymNav: Visually Assisting Symbolic Execution
Marco Angelini, Graziano Blasilli, Luca Borzacchiello, Emilio Coppa, Daniele Cono D’Elia, Camil Demetrescu, Simone Lenti, Simone Nicchi and Giuseppe Santucci

Hardware Security, Vulnerabilities, and Attacks: A Comprehensive Taxonomy
Paolo Prinetto and Gianluca Roascio