[HTML][HTML] Formally verifying security protocols built on watermarking and jamming

G Costa, P Degano, L Galletta, S Soderi - Computers & Security, 2023 - Elsevier
Physical layer security mechanisms use primitives that exploit physical properties of the
communication channel to protect data. Protecting communications at the physical layer …

Multi-RIS aided VLC Physical Layer Security for 6G Wireless Networks

S Soderi, A Brighente, S Xu… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Recent studies highlighted the advantages of VLC over radio technology for future 6G
networks. Thanks to the use of RISs, researchers showed that is possible to guarantee …

Cybersecurity of Modern Cyber-Physical Systems

F Turrin - 2023 - research.unipd.it
Abstract Cyber-Physical Systems (CPSs) refer to those systems characterized by the
interconnection of information technology and the physical process domains. These systems …

[HTML][HTML] Protocolli di autenticazione per la ricarica dei veicoli elettrici durante la guida e soluzioni covert channel su CAN bus

C STEFANI - thesis.unipd.it
During recent years the consideration of environmental issues is becoming increasingly
important. For this reason, transportation sector is finding means to replace conventional fuel …