Longfei Qiu, Jingqi Xiao, Zhong Shao 0001. Mechanized Safety and Liveness Proofs for the Mysticeti Consensus Protocol Under the LiDO-DAG Framework. In IEEE Symposium on Security and Privacy, SP 2026, San Francisco, CA, USA, May 18-21, 2026. pages 1842-1861, IEEE, 2026. [doi]
Abstract is missing.