Archivio Istituzionale della RicercaBUSSA, SIMONE
BUSSA, SIMONE
Dipartimento di Automatica e Informatica
091347
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.025 secondi).
Formal verification of the FDO protocol
In corso di stampa Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif
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 |
|---|---|---|---|
| Formal verification of the FDO protocol / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (In corso di stampa). (Intervento presentato al convegno IEEE International Conference on Standards for Communications and Networking (CSCN 2023)). | In corso di stampa | Simone BussaRiccardo SistoFulvio Valenza | FDO_verification_pre_cameraready.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 |
| 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 |