Location: LARGO BRUNO PONTECORVO, 3, 56127 PISA
Email: chiara.bodei@unipi.it
Phone: 050 221 2760
Website: http://pages.di.unipi.it/bodei/
Profile
Teaching
Teaching activity
Teaching responsibility for modules/courses
- Paradigmi di programmazione - corso a (cod. 733AA) per Laurea in Informatica
- Laboratory for innovative software (cod. 652AA) per Laurea Magistrale in Informatica
Incarichi di co-docenza in moduli/insegnamenti
- Program Analysis (Cod. 0078A) per Laurea Magistrale in Informatica
- Language-based Technology For Security (Cod. 714AA) per Laurea Magistrale in Cybersecurity
Student consultation hours
Mode of office hours: Si prega di contattare la docente via email o sulla chat di Microsoft Teams (Please send an email or a message on the chat of Microsoft Teams)
Location: Microsoft Teams o in ufficio (On Microsoft Teams or in her office)
Time: Su appuntamento (By appointment)
Research
Publications
- Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING (Rubino, Francesco; Bodei, Chiara; Ferrari, GIAN-LUIGI - 2024 - 2.1 Contributo in volume (Capitolo o Saggio))
- Formal analysis of an AUTOSAR-based basic software module (Bodei, Chiara; DE VINCENZI, Marco; Matteucci, Ilaria - 2024 - 1.1 Articolo in rivista)
- OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication (DE VINCENZI, Marco; Bodei, Chiara; Matteucci, Ilaria - 2024 - 4.3 Poster)
- Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions (DE VINCENZI, Marco; Bodei, Chiara; Matteucci, Ilaria - 2023 - 4.1 Contributo in Atti di convegno)
- Data Collection in Automotive: A Deep Analysis of Carmakers' Mobile App Privacy Policies (Bodei, Chiara; Costantino, Gianpiero; DE VINCENZI, Marco; Matteucci, Ilaria; Monreale, Anna - 2023 - 4.1 Contributo in Atti di convegno)
- Sua Maestà il Re Imperatore visita il nuovo stabilimento Marzotto a Pisa: l'architettura del ventennio e le donne (Balbarini, Chiara; Baldassarri, Monica; Barboni, Valeria; Bodei, Chiara; Cagianelli, Cristina; Camelliti, Vittoria; Chiara Favilla, Maria; Lamberti, Claudia; Lazzarini, Elena; Mariotti, Ilaria; Niccoli, Bruna; Pagnin, Silvia; Panichi, Silvia; Rovini, Emma; Spagnolo, Maddalena; Tarantino, Chiara; Tavoni, Alice; Tomasi Velli, Silvia - 2023 - 2.1 Contributo in volume (Capitolo o Saggio))
- Risk Estimation in IoT Systems (Bodei, Chiara; Ferrari, Gian-Luigi; Galletta, Letterio; Degano, Pierpaolo - 2023 - 2.1 Contributo in volume (Capitolo o Saggio))
- From Hardware-Functional to Software-Defined Vehicles and their Security Issues (Bodei, Chiara; DE VINCENZI, Marco; Matteucci, Ilaria - 2023 - 4.1 Contributo in Atti di convegno)
- Vehicle Data Collection: A Privacy Policy Analysis and Comparison (Bodei, Chiara; Costantino, Gianpiero; DE VINCENZI, Marco; Matteucci, Ilaria; Monreale, Anna - 2023 - 4.1 Contributo in Atti di convegno)
- Una storia nazionale: il Museo degli Strumenti per il calcolo (Bodei, Chiara; Gadducci, Fabio; Lettieri, Giuseppe - 2022 - 1.1 Articolo in rivista)