Simone Bussa, Riccardo Sisto, Fulvio Valenza. Formal Verification of the FDO Protocol. In IEEE Conference on Standards for Communications and Networking, CSCN 2023, Munich, Germany, November 6-8, 2023. pages 290-295, IEEE, 2023. [doi]
Abstract is missing.