Formal verification of the FDO protocol

Simone Bussa, Riccardo Sisto, Fulvio Valenza (2023) Formal verification of the FDO protocol, In: 2023 IEEE Conference on Standards for Communications and Networking (CSCN), pp. 290-295, ISBN: 979-8-3503-9538-9