Journal M. Gharib, T. Zoppi and A. Bondavalli. "On the Properness of Incorporating Binary Classification Machine Learning Algorithms into Safety-Critical Systems", IEEE Transactions on Emerging Topics in Computing. 2022.[More]
Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Towards a General Model for Intrusion Detection: An Exploratory Study". Machine Learning for CyberSecurity (MLCS 2022). 2022.[More]
PhD Thesis M. Staderini. "Towards the Assessment and the Improvement of Smart Contract Security". Ph.D. thesis. University of Florence. 2022.[More]
Year: 2021
Conference A. Muhammad, T. Zoppi, M. Gharib and A. Bondavalli. "Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition". SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. ACM ed. 2021. pp. 174-177.[More]
Conference M. Staderini and A. Bondavalli. "Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts". Proceedings of the 28th Mini-Symposium of the Department of Measurement and Information Systems, Budapest University of Technology and Economics. 2021. pp. 36-39.[More]
Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth?". Pacific Rim Dependable COmputing (PRDC2021). 2021.[More]
Conference "Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors". Latin-American Dependability Conference (LADC 2021). 2021.[More]
Conference M. Staderini, A. Pataricza and A. Bondavalli. "Static Analysis Tools Applied to Smart Contracts". Companion Proceedings of the 10th Latin-American Symposium on Dependable Computing - Fast Abstract. 2021. pp. 3-4.[More]
Other L. Gori. "Studio e sperimentazione del formalismo ADVISE per modellizzare attacchi informatici ed attaccanti". 2021. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi.[More]
Master's Thesis L. Morganti. "REVIEW, IMPLEMENTATION AND APPLICATION OF A FRAMEWORK FOR THE SPECIFICATION AND AUTOMATED COMPOSITION OF PERFORMABILITY MODELS". Master's thesis. 2021. Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. October, 2021. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi.[More]
Other E. Dolce. "DERIVATION OF STOCHASTIC ACTIVITY NETWORKS MODELS FROM THEIR TEMPLATE-BASED GENERALIZATION". 2021. Università degli Studi di Firenze. Corso di Laurea in Informatica. April, 2021. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi..[More]
Conference N. Piazzesi, M. Hong and A. Ceccarelli. "Attack and Fault Injection in Self-driving Agents on the Carla Simulator -- Experience Report". Computer Safety, Reliability, and Security. Habli, Ibrahim, Sujan, Mark, Bitsch and Friedemann eds. 2021. pp. 210-225.[More]
Conference M. Staderini and A. Bondavalli. "Investigation on Vulnerabilities Location in Solidity Smart Contracts". Blockchain2021: blockchain and application. P. J., P. A., L. P. and P. A. eds. 2021. pp. 199-211.[More]
Other A. S. Akinola. "Explainable AI : studio ed implementazione di tecniche di machine learning interpretabili". Universit{\`a} degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. .[More]
Other M. Sirgiovanni. "Sperimentazione del protocollo MQTT e realizzazione di un’applicazione per il caso d’uso del conteggio automatico di persone". Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. .[More]
Other A. Giglioli. "studio di scenari pre-crash in ambito automotive e la loro simulazione in Carla". Universit{\`a} degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. .[More]
Master's Thesis T. Puccetti. "Sviluppo, Verifica e Validazione di un Protocollo Ferroviario per la Trasmissione Dati in Sicurezza". Master's thesis. 2021.[More]
Conference M. Gharib, T. Zoppi and A. Bondavalli. "Understanding the properness of incorporating machine learning algorithms in safety-critical systems". SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. ACM ed. 2021. pp. 232-234.[More]
Other M. Hong. "Software fault injection in simulatori di guida autonoma". Universit{\`a}degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. .[More]
Other D. Verduchi. "Generazione di un dataset di immagini per l'autonomous driving arricchito di informazioni sul movimento". Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. .[More]
Other C. Levi. "Stuxnet, Flame e Mydoom: analisi dei malware che hanno cambiato il volto della cybersecurity". 2021. Supervisor(s): A. Bondavalli, Co-supervisor(s): S. Pietropaoli.[More]
Journal T. Zoppi, T. Capecchi, A. Ceccarelli and A. Bondavalli. "Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape", ACM Transactions on Data Science. 2021.[More]
Journal T. Zoppi, A. Ceccarelli and A. Bondavalli. "Unsupervised Algorithms to Detect Zero-Day Attacks: Strategy and Application", IEEE Access, Vol. 9. 2021, pp. 90603-90615.[More]
Journal T. Zoppi and A. Ceccarelli. "Prepare for trouble and make it double! Supervised – Unsupervised stacking for anomaly-based intrusion detection", Journal of Network and Computer Applications, Vol. 1, 9, 2021.[More]
Journal D. Bertieri, A. Ceccarelli, T. Zoppi, I. Mungiello, M. Barbareschi and A. Bondavalli. "Development and validation of a safe communication protocol compliant to railway standards", Journal of the Brazilian Computer Society, Vol. 27. 2021, pp. 1-26.[More]
