The aim of the REoCAS Colloquium in honor of the 70th birthday of Rocco De Nicola was to acknowledge his scientific impact on the field of collective adaptive systems and, more in general, his much broader legacy in concurrency theory, distributed systems, and formal methods, exploring Rocco’s more recent contributions to cybersecurity. Numerous colleagues have contributed to this task. With this paper, we wish to provide an overview of Rocco’s efforts in shaping computer science research within IMT School for Advanced Studies Lucca, which Rocco has fundamentally shaped since his appointment until his serving as Rector for 2021–2024.
Systems Security Modeling and Analysis at IMT Lucca / Gabriele Costa, Silvia De Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani. - 15219:(2024). (REoCAS Colloquium in Honor of Rocco De Nicola. ISoLA 2024. Crete 27-31 October 2024) [10.1007/978-3-031-73709-1_2].
Systems Security Modeling and Analysis at IMT Lucca
Gabriele Costa;Letterio Galletta;Cosimo Perini Brogi;Fabio Pinelli;Simone Soderi;Mirco Tribastone;
2024
Abstract
The aim of the REoCAS Colloquium in honor of the 70th birthday of Rocco De Nicola was to acknowledge his scientific impact on the field of collective adaptive systems and, more in general, his much broader legacy in concurrency theory, distributed systems, and formal methods, exploring Rocco’s more recent contributions to cybersecurity. Numerous colleagues have contributed to this task. With this paper, we wish to provide an overview of Rocco’s efforts in shaping computer science research within IMT School for Advanced Studies Lucca, which Rocco has fundamentally shaped since his appointment until his serving as Rector for 2021–2024.
| File | Dimensione | Formato | |
|---|---|---|---|
|
978-3-031-73709-1_2.pdf
Accesso chiuso
Licenza:
Tutti i diritti riservati
Dimensione
245.77 kB
Formato
Adobe PDF
|
245.77 kB | Adobe PDF | Richiedi una copia all'autore |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
