Archivio Istituzionale della RicercaBUSSA, SIMONE
BUSSA, SIMONE
Dipartimento di Automatica e Informatica
091347
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
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 |
|---|---|---|---|
| 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 |