Formal Verification of the FDO Protocol

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

Abstract is missing.