Nothing is Out-of-Band: Formal Modeling of Ceremonies

Barbara Fila, Sasa Radomirovic. Nothing is Out-of-Band: Formal Modeling of Ceremonies. In 37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024. pages 464-478, IEEE, 2024. [doi]

Abstract

Abstract is missing.