Pubblicazioni di Bonomi Silvia
2024
Palma Alessandro, Acitelli Giacomo, Marrella Andrea, Bonomi Silvia, Angelini Marco
A compliance assessment system for Incident Management process. COMPUTERS & SECURITY 2024: -
Bonomi Silvia, Cuoci Marco, Lenti Simone
A Version-Based Algorithm for Quality Enhancement of Automatically Generated Vulnerability Inventories. Proceedings of the 2024 IEEE International Conference on Cyber Security and Resilience (CSR) 2024: 76-81
Bonomi Silvia, Cappai Stefano, Coppa Emilio
Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools. 43rd International Conference on Safety, Reliability and Security of Computer-based Systems, SAFECOMP 2024 2024: 200-217
Palma Alessandro, Sorrentino Andrea, Bonomi Silvia
How to assess measurement capabilities of a security monitoring infrastructure and plan investment through a graph-based approach. EXPERT SYSTEMS WITH APPLICATIONS 2024: -
Bonomi Silvia, Cuoci Marco, Lenti Simone, Palma Alessandro
Improving Attack Graph-based Self-Protecting Systems: A Computational Pipeline for Accuracy-Scalability Trade-off. The Nineteenth International Conference on Risks and Security of Internet and Systems 2024: -
Bonomi Silvia, Farina Giovanni, Tixeuil Sébastien
Reliable Broadcast Despite Mobile Byzantine Faults. 27th International Conference on Principles of Distributed Systems (OPODIS 2023) 2024: -
Bonomi Silvia, Farina Giovanni, Tixeuil Sébastien
Reliable Communication in Dynamic Networks with Locally Bounded Byzantine Faults. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 2024: -
Scanu Fabio, Farina Giovanni, Bonomi Silvia
SoK on DLT Solutions for Agri-food Traceability. 2024 6th International Conference on Blockchain Computing and Applications (BCCA) 2024: 642-647
Ruggiero Claudia, Mazzini Pietro, Coppa Emilio, Lenti Simone, Bonomi Silvia
SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies. 19th International Conference on Availability, Reliability and Security (ARES 2024) 2024: -
2023
Annarelli Alessandro, Bonomi Silvia, Colabianchi Silvia, Nonino Fabio, Palombi Giulia, Pompei Alessandro, Querzoni Leonardo
A MULTI-LAYER ATTACK MODEL INTEGRATING HUMAN FACTORS IN DELIVERING CYBERSECURITY. STRATEGIC LEADERSHIP JOURNAL 2023: -
Bonomi Silvia, Cuoci Marco, Lenti Simone
A Semi-automatic Approach for Enhancing the Quality of Automatically Generated Inventories. Proceedings of the 2023 IEEE International Conference on Cyber Security and Resilience (CSR) 2023: 307-314
Palma Alessandro, Bonomi Silvia
A workflow for distributed and resilient Attack Graph generation. 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) 2023: 185-187
Bonomi Silvia, Farina Giovanni, Tixeuil Sébastien
Comment extraire un discours cohérent de la confusion générale. AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2023: -
Bonomi S., Del Pozzo A., Potop-Butucaru M., Tixeuil S.
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps. THEORETICAL COMPUTER SCIENCE 2023: 123-141
2022
Acitelli G., Angelini M., Bonomi S., Maggi F. M., Marrella A., Palma A.
Context-Aware Trace Alignment with Automated Planning. Proceedings of the 4th International Conference on Process Mining, ICPM 2022 2022: 104-111
Bonomi S., Di Luna G. A., Michail O., Querzoni L.
Special issue on algorithmic theory of dynamic networks and Its applications. JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2022: 157-158
2021
Bonomi Silvia, Farina Giovanni, Tixeuil Sébastien
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults. Networked Systems. 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings 2021: 112-128
Angelini Marco, Blasilli Graziano, Bonomi Silvia, Lenti Simone, Palleschi Alessia, Santucci Giuseppe, Paoli Emiliano De
BUCEPHALUS: a BUsiness CEntric cybersecurity Platform for proActive anaLysis Using visual analyticS. 2021 IEEE Symposium on Visualization for Cyber Security (VizSec) 2021: 15-25
Magalini S., Gui D., Mari P., Merialdo M., Spanakis E., Sakkalis V., Rizzoni F., Casaroli A., &, , Bonomi S.
Cyberthreats to Hospitals: Panacea, a Toolkit for People-Centric Cybersecurity. STRATEGIC INNOVATION AND SUSTAINABILITY 2021: -
Spanakis Emmanouil G., Sfakianakis Stelios, Bonomi Silvia, Ciccotelli Claudio, Magalini Sabina, Sakkalis Vangelis
Emerging and Established Trends to Support Secure Health Information Exchange. FRONTIERS IN DIGITAL HEALTH 2021: -
Bonomi Silvia, Decouchant Jeremie, Farina Giovanni, Rahli Vincent, Tixeuil Sebastien
Practical Byzantine Reliable Broadcast on Partially Connected Networks. 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS) 2021: 506-516
Angelini M., Bonomi S., Ciccotelli C., Palma A.
Toward a Context-Aware Methodology for Information Security Governance Assessment Validation. Cyber-Physical Security for Critical Infrastructures Protection 2021: 171-187
2020
Bonomi S., Casini M., Ciccotelli C.
B-CoC: A blockchain-based chain of custody for evidences management in digital forensics. International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019) 2020: -
Bonomi Silvia, Farina Giovanni, Tixeuil Sébastien
Spanakis E. G., Bonomi S., Sfakianakis S., Santucci G., Lenti S., Sorella M., Tanasache F. D., Palleschi A., Ciccotelli C., Sakkalis V., Magalini S.
Cyber-attacks and threats for healthcare - A multi-layer thread analysis. Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS 2020: 5705-5708
Di Luna G. A., Anceaume E., Bonomi S., Querzoni L.
Synchronous byzantine lattice agreement in O(log(f)) rounds. Proceedings - International Conference on Distributed Computing Systems 2020: 146-156
2019
Tanasache F. D., Sorella M., Bonomi S., Rapone R., Meacci D.
Building an emulation environment for cyber security analyses of complex networked systems. ACM International Conference Proceeding Series 2019: 203-212
Angelini M., Bonomi S., Lenti S., Santucci G., Taggi S.
MAD: A visual analytics solution for Multi-step cyber Attacks Detection. JOURNAL OF COMPUTER LANGUAGES 2019: 10-24
Bonomi Silvia, Farina Giovanni, Tixeuil Sébastien
Multi-hop Byzantine reliable broadcast with honest dealer made practical. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY 2019: -
Lombardi F., Muti A., Aniello L., Baldoni R., Bonomi S., Querzoni L.
PASCAL: An architecture for proactive auto-scaling of distributed services. FUTURE GENERATION COMPUTER SYSTEMS 2019: 342-361
2018
Angelini Marco, Bonomi Silvia, Borzi Emanuele, Del Pozzo Antonella, Lenti Simone, Santucci Giuseppe
An attack graph-based on-line multi-step attack detector. ICDCN '18 Proceedings of the 19th International Conference on Distributed Computing and Networking 2018: -
Bonomi Silvia, Del Pozzo Antonella, Potop-Butucaru Maria, Tixeuil Sébastien
Approximate Agreement under Mobile Byzantine Faults. THEORETICAL COMPUTER SCIENCE 2018: 17-29
Shaer A., Dolev S., Bonomi S., Raynal M., Baldoni R.
Bee’s strategy against byzantines replacing byzantine participants: (Extended Abstract). Stabilization, Safety, and Security of Distributed Systems 2018: 139-153
Bonomi S., Del Pozzo A., Potop-Butucaru M., Tixeuil S.
Brief announcement: Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps. Stabilization, Safety, and Security of Distributed Systems 2018: 398-403
Lombardi Federico, Aniello Leonardo, Bonomi Silvia, Querzoni Leonardo
Elastic Symbiotic Scaling of Operators and Resources in Stream Processing Systems. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2018: 572-585
Baldoni Roberto, De Nicola Rocco, Prinetto Paolo, Anglano COSIMO FILOMENO, Aniello Leonardo, Antinori Arije, Armando Alessandro, Aversa Rocco, Baldi Marco, Barili Antonio, Bartoletti Massimo, Basile Basile, Bellini Marco, Bergadano Francesco, Bernardeschi Cinzia, Bertino , Elisa Bianchi, Giuseppe , Biancotti Claudia, Bistarelli Stefano, Blefari Melazzi Nicola, Boetti Milena, Bondavalli Andrea, Bonomi Silvia, Buccafurri Francesco, Cambiaso Enrico, Caputo Barbara, Carminati Barbara, Cataliotti Francesco Saverio, Catarci Tiziana, Ceccarelli Andrea, Cesa Bianchi Nicolò, Chiaraluce Franco, Colajanni Michele, Conti Marco, Conti Mauro, Coppolino Luigi, Costa Gabriele, Costamagna Valerio, Cotroneo Domenico, Crispo Bruno, Cucchiara Rita, D’Antonio Salvatore, Damiani Ernesto, De Nicola Rocco, De Santis Alfredo, Di Battista Giuseppe, Di Martino Beniamino, Degiovanni Ivo Pietro, Demetrescu Camil, Di Corinto Arturo, Di Luna Antonio, Di Natale Giorgio, Dini Gianluca, Evangelisti Marco, Falcinelli Daniela, Figà Gianna, Ferretti Marco, Ficco Massimo, Flocchini Paola, Flottes Marie-Lise, Focardi Riccardo, Franchina Luisa, Furfaro Angelo, Girdinio Paola, Guida Franco, Italiano Giuseppe F., Lain Daniele, Laurenti Nicola, Lioy Antonio, Loreti Michele, Malerba Donato, Mancini Luigi Vincenzo, Marchetti Spaccamela Alberto, Marcialis Gianluca, Margheri Andrea, Marrella Andrea, Martinelli Fabio, Martinelli Maurizio, Martino Luigi, Massacci Fabio, Mayer Marco, Mecella Massimo, Mensi Maurizio, Merlo Alessio, Miculan Marino, Montanari Luca, Morana Marco, Mosco Gian Domenico, Mostarda Leonardo, Murino Vittorio, Nardi Daniele, Navigli Roberto, Palazzi Andrea, Palmieri Francesco, Panetta Ida, Passarella Andrea, Pellegrini Alessandro, Pelosi Gerardo, Pellegrino Giancarlo, Pirlo Giuseppe, Piuri Vincenzo, Pizzonia Maurizio, Pogliani Marcello, Polino Mario, Pontil Massimiliano, Prinetto Paolo, Quaglia Francesco, Quattrociocchi Walter, Querzoni Leonardo, Rak Massimiliano, Ranise Silvio, Ricci Elisa, Rossi Lorenzo, Rota Paolo, Russo Ludovico Orlando, Samarati Pierangela, Santoro Nicola, Santucci Beppe, Sassone Vladimiro, Scala Antonio, Scotti Fabio, Servida Andrea, Spagnoletti Paolo, Spalazzi Luca, Spidalieri Francesca, Spoto Austo, Squarcina Marco, Stefanelli Stefania, Vecchio Alessio, Venticinque Salvatore, Villoresi Paolo, Visaggio Aaron, Vitaletti Andrea, Zanero Stefano
Bonomi Silvia, Del Pozzo Antonella, POTOP BUTUCARU Maria
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register. THEORETICAL COMPUTER SCIENCE 2018: 64-79
Baldoni R., De Nicola R., Prinetto P., Anglano C., Aniello L., Antinori A., Armando A., Aversa R., Baldi Marco, Barili A., Bartoletti M., Bellini M., Bergadano F., Bernardeschi C., Bianchi E., Biancotti C., Bistarelli S., Blefari Melazzi N., Boetti M., Bondavalli A., Bonomi ., Buccafurri F., Cambiaso E., Caputo B., Carminati B., Cataliotti F. S., Catarci T., Ceccarelli A., Cesa Bianchi N., Chiaraluce F., Colajanni M., Conti M., Conti M., Coppolino L., Costa G., Costamagna V., Cotroneo D., Crispo B., Cucchiara R., D’Antonio S., Damiani E., De Nicola R., De Santis A., Di Battista G., Di Martino B., Degiovanni I. P., Demetrescu C., Di Corinto A., Di Luna A., Di Natale G., Dini G., Evangelisti M., Falcinelli D., Figà G., Ferretti M., Ficco M., Flocchini P., Flottes M., Focardi R., Furfaro Franchina., Girdinio P., Guida F., Italiano G. F., Lain D., Laurenti N., Lioy A., Loreti M., Malerba D., Mancini L. V., Marchetti Spaccamela A., Marcialis G., Margheri A., Marrella A., Martinelli F., Martinelli M., Martino L., Massacci F., Mayer M., Mecella M., Mensi M., Merlo A., Miculan M., Montanari L., Morana M., Mosco G. D., Mostarda L., Murino V., Nardi D., Navigli R., Palazzi A., Palmieri F., Panetta I. C., Passarella A., Pellegrini A., Pelosi G., Pellegrino G., Pirlo G., Piuri V., Pizzonia M., Pogliani M., Polino M., Pontil M., Prinetto P., Quaglia F., Quattrociocchi W., Querzoni L., Rak M., Ranise S., Ricci E., Rossi L., Rota P., Russo L. O., Samarati P., Santoro N., Santucci B., Sassone V., Scala A., Scotti F., Servida A., Spagnoletti P., Spalazzi L., Spidalieri F., Spoto A., Squarcina M., Stefanelli S., Vecchio A., Venticinque S., Villoresi P., Visaggio A., Vitaletti A., Zanero S.
2017
DEL POZZO Antonella, Bonomi Silvia, Lazzeretti Riccardo, Baldoni Roberto
Building Regular Registers with Rational Malicious Servers and Anonymous Clients. Cyber Security Cryptography and Machine Learning 2017: 50-67
Bonomi Silvia, Pozzo Antonella Del, Potop-Butucaru Maria, Tixeuil Sebastien
Optimal Storage under Unsynchronized Mobile Byzantine Faults. 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS) 2017: 154-163
2016
Baldoni Roberto, Bonomi Silvia, Raynal Michel
Implementing set objects in dynamic distributed systems. JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2016: 654-689
Bonomi Silvia, Del Pozzo Antonella, Potop-Butucaru Maria, Tixeuil Sébastien
Optimal mobile byzantine fault tolerant distributed storage: [Extended Abstract]. PODC '16. Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing 2016: 269-278
Bonomi Silvia, Matteucci Ilaria
Third International Workshop on Reliability and Security Aspects for Critical Infrastructure protection (ReSA4CI 2016). 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) 2016: 136-136
Bonomi Silvia, DEL POZZO Antonella, Potop Butucaru Maria
Tight self-stabilizing mobile byzantine-tolerant atomic register. Proceedings of the 17th International Conference on Distributed Computing and Networking, Singapore, January 4-7, 2016 2016: 1-10
2015
Baldoni Roberto, Bonomi Silvia, Platania Marco, Querzoni Leonardo
Efficient notification ordering for geo-distributed pub/sub systems. IEEE TRANSACTIONS ON COMPUTERS 2015: 2796-2808
Bonomi Silvia, Matteucci Ilaria
Introduction to the safecomp 2015 workshop: Reliability and security aspects for critical infrastructure protection. Computer Safety,Reliability, and Security. SAFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR 2015: XXI-XXIII
Bonomi Silvia, Potop Butucaru Maria, Tixeuil Sebastien
Stabilizing Byzantine-Fault Tolerant Storage. 2015 IEEE International Parallel and Distributed Processing Symposium (IPDPS 2015) 2015: 894-903