BUSSA, SIMONE
BUSSA, SIMONE
Dipartimento di Automatica e Informatica
091347
Atomizing Firewall Policies for Anomaly Analysis and Resolution
In corso di stampa Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
A Two-Fold Traffic Flow Model for Network Security Management
2024 Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
PAKA: Pseudonymous Authenticated Key Agreement without bilinear cryptography
2024 Schermann, Raphael; Bussa, Simone; Urian, Rainer; Toegl, Ronald; Steger, Christian
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif
2023 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Formal verification of the FDO protocol
2023 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Zero touch privacy preserving provisioning in an Edge-, Fog, and Cloud environment
2023 Schermann, Raphael; Bussa, Simone; Urian, Rainer; Steger, Christian
Security Automation using Traffic Flow Modeling
2022 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Atomizing Firewall Policies for Anomaly Analysis and Resolution / Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. - ISSN 1545-5971. - ELETTRONICO. - (In corso di stampa). [10.1109/tdsc.2024.3495230] | In corso di stampa | Bringhenti, DanieleBussa, SimoneSisto, RiccardoValenza, Fulvio | Atomizing_Firewall_Policies_for_Anomaly_Analysis_and_Resolution.pdf |
A Two-Fold Traffic Flow Model for Network Security Management / Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. - ISSN 1932-4537. - ELETTRONICO. - 21:4(2024), pp. 3740-3758. [10.1109/TNSM.2024.3407159] | 1-gen-2024 | Bringhenti, DanieleBussa, SimoneSisto, RiccardoValenza, Fulvio | TNSM_Accepted_Manuscript.pdf; TNSM2024_vor.pdf |
PAKA: Pseudonymous Authenticated Key Agreement without bilinear cryptography / Schermann, Raphael; Bussa, Simone; Urian, Rainer; Toegl, Ronald; Steger, Christian. - (2024), pp. 1-10. (Intervento presentato al convegno ARES 2024: The 19th International Conference on Availability, Reliability and Security tenutosi a Vienna (AT) nel 30 July 2024- 2 August 2024) [10.1145/3664476.3669925]. | 1-gen-2024 | Bussa, Simone + | 3664476.3669925.pdf |
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2023), pp. 341-346. (Intervento presentato al convegno 2023 IEEE International Conference on Cyber Security and Resilience (CSR) tenutosi a Venice (IT) nel 31 July 2023 - 02 August 2023) [10.1109/CSR57506.2023.10224908]. | 1-gen-2023 | Bussa, SimoneSisto, RiccardoValenza, Fulvio | 92_simone_bussa_Camera_Ready (1).pdf; Formal_Verification_of_a_V2X_Privacy_Preserving_Scheme_Using_Proverif.pdf |
Formal verification of the FDO protocol / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2023), pp. 290-295. (Intervento presentato al convegno IEEE International Conference on Standards for Communications and Networking (CSCN 2023) tenutosi a Munich (DEU) nel 06-08 November 2023) [10.1109/CSCN60443.2023.10453172]. | 1-gen-2023 | Simone BussaRiccardo SistoFulvio Valenza | FDO_verification_pre_cameraready.pdf; Formal_Verification_of_the_FDO_Protocol.pdf |
Zero touch privacy preserving provisioning in an Edge-, Fog, and Cloud environment / Schermann, Raphael; Bussa, Simone; Urian, Rainer; Steger, Christian. - (2023), pp. 276-283. (Intervento presentato al convegno IEEE International Conference on Fog and Mobile Edge Computing (FMEC 2023) tenutosi a Tartu (Estonia) nel 18-20 September 2023) [10.1109/FMEC59375.2023.10305878]. | 1-gen-2023 | Simone, Bussa + | FMEC_Raphael.pdf; Zero-_Touch_Privacy_Preserving_Provisioning_in_an_Edge-_Fog-_and_Cloud_Environment.pdf |
Security Automation using Traffic Flow Modeling / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2022), pp. 486-491. (Intervento presentato al convegno IEEE 8th International Conference on Network Softwarization (NetSoft 2022 ) tenutosi a Milano) [10.1109/NetSoft54395.2022.9844025]. | 1-gen-2022 | Bussa, SimoneSisto, RiccardoValenza, Fulvio | Security_Automation_using_Traffic_Flow_Modeling.pdf; a80-bussa final.pdf |