Training and Research
PhD Programme Courses/classes
Non monotonic reasoning
Credits: 3
Language: English
Teacher: Matteo Cristani
Sustainable Embodied Mechanical Intelligence
Credits: 3
Language: English
Teacher: Giovanni Gerardo Muscolo
Brain Computer Interfaces
Credits: 3
Language: English
Teacher: Silvia Francesca Storti
A practical interdisciplinary PhD course on exploratory data analysis
Credits: 4
Language: English
Teacher: Prof. Vincenzo Bonnici (Università di Parma)
Multimodal Learning and Applications
Credits: 5
Language: English
Teacher: Cigdem Beyan
Introduction to Blockchain
Credits: 3
Language: English
Teacher: Sara Migliorini
Autonomous Agents and Multi-Agent Systems
Credits: 5
Language: English
Teacher: Alessandro Farinelli
Cyber-physical systems security
Credits: 3
Language: English/Italian
Teacher: Massimo Merro
Foundations of quantum languages
Credits: 3
Language: English
Teacher: Margherita Zorzi
Advanced Data Structures for Textual Data
Credits: 3
Language: English
Teacher: Zsuzsanna Liptak
AI and explainable models
Credits: 5
Language: English
Teacher: Gloria Menegaz, Lorenza Brusini
Automated Software Testing
Credits: 4
Language: English
Teacher: Mariano Ceccato
Elements of Machine Teaching: Theory and Appl.
Credits: 3
Language: English
Teacher: Ferdinando Cicalese
Introduction to Quantum Machine Learning
Credits: 4
Language: English
Teacher: Alessandra Di Pierro
Laboratory of quantum information in classical wave-optics analogy
Credits: 3
Language: English
Teacher: Claudia Daffara
Cyber-physical systems security (2023/2024)
Teacher
Referent
Credits
3
Language
English/Italian
Class attendance
Free Choice
Location
VERONA
Learning objectives
The aim of the course is to investigate the peculiar vulnerabilities of cyber-physical systems and the cyber-physical attacks that can exploit them.
Prerequisites and basic notions
A master's degreee in Computer Science or Computer Engineering.
Program
1. A Cyber-Physical World
Basic Concepts and Definitions of a Cyber-Physical World
Defining Cyber-Physical Attacks
2. A History of Cyber-Physical Security Incidents
3. Cyber-Physical Attacks on Implants and Vehicles
Implantable Medical Devices
Vehicles
4. Cyber-Physical Attacks on Industrial Control Systems
SCADA
Stuxnet: A Milestone in Industrial Control System Security
The Electric Grid
5. Cyber-Physical Attack Steps
Preliminary Research and Reconnaissance
Vulnerability Discovery
Intrusion
Attack Delivery
Antiforensics
6. Protection Mechanisms and Secure Design Principles
Protection Mechanisms
Secure Design Principles
Didactic methods
Lezioni, video e seminari.
Learning assessment procedures
Talk on a paper of the literature.
Assessment
The marks are from 18 to 30.
Criteria for the composition of the final grade
It will depend on the explanation of the paper.
Scheduled Lessons
| When | Classroom | Teacher | topics |
|---|---|---|---|
|
Monday 09 September 2024 14:00 - 17:00 Duration: 3:00 AM |
Ca' Vignal 2 - L [67 - 1°] | Massimo Merro | Introduzione ai sistemi ciberfisici. Concetti e definizioni di base dei sistemi ciberfisici. Definizione degli attacchi cyber-fisici. Storia degli incidenti legati alla sicurezza ciberfisica negli ultimi 15 anni, con particolare enfasi sull'attacco STUXnet. |
|
Tuesday 10 September 2024 14:00 - 17:00 Duration: 3:00 AM |
Ca' Vignal 2 - L [67 - 1°] | Massimo Merro | Architettura delle reti industriali. Introduzione alle componenti OT dei sistemi industriali con specifica delle loro manzioni. Ulteriori dettagli sull'attacco STUXnet. |
|
Wednesday 11 September 2024 14:00 - 17:00 Duration: 3:00 AM |
Ca' Vignal 2 - L [67 - 1°] | Massimo Merro | Metodologie diverse per attaccare i sistemi industriali. Metodologie formali per la verifica e l'analisi di sicurezza dei sistemi industriali: - definizione di un linguaggio formale per CPS e e attacchi ciberfisici e relativo impatto; - Tecniche di model checking e tecniche statistical model checking per fare analisi di sicurezza statica di un sistema ciberfisico. |
|
Friday 13 September 2024 14:00 - 17:00 Duration: 3:00 AM |
Ca' Vignal 2 - L [67 - 1°] | Massimo Merro | Metodologie formali per sistemi ciberfisici: Tecniche di runtime enforcement per garantire proprietà di safety anche quando i controllori sono totalmente compromessi. Il concetto di Privacy per sistemi ciberfisici. Attacchi non convenzionali, prettamente ciberfisici, che usano vettori di attacco inaspettati. |
