Simone Bussa

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Horizontally Partitioned

Formal Verification

Privacy Preserving

Top Venues

Publications

Raphael Schermann, Simone Bussa, Rainer Urian, Ronald Toegl, Christian Steger
PAKA: Pseudonymous Authenticated Key Agreement without bilinear cryptography. ARES (2024)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. CSR (2023)
Raphael Schermann, Simone Bussa, Rainer Urian, Christian Steger
Zero- Touch Privacy Preserving Provisioning in an Edge-, Fog-, and Cloud Environment. FMEC (2023)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Formal Verification of the FDO Protocol. CSCN (2023)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Security Automation using Traffic Flow Modeling. NetSoft (2022)