Session: 6A – Cloud and Virtualization Security – Presentations

Friday May 5, 2023
h. 10:00 – 11:00

Andrea Altarui, Marino Miculan and Matteo Paier.
DBCChecker: a bigraph-based tool for checking security properties of container compositions

Francesco Minna, Fabio Massacci and Katja Tuma.
Towards a Security Stress-Test for Cloud Configurations

Marco Zambianco, Claudio Facchinetti, Roberto Doriguzzi-Corin and Domenico Siracusa.
Resource-aware Cyber Deception in Cloud-Native Environments

Marco Anisetti, Claudio Ardagna and Nicola Bena.
Certification Meets Modern Service-Based Systems: Connecting Service and Certificate Life Cycle