Mechanized Safety and Liveness Proofs for the Mysticeti Consensus Protocol Under the LiDO-DAG Framework

2026 IEEE Symposium on Security and Privacy (SP) 2026

View at publisher

Authors: Longfei Qiu, Jingqi Xiao, Zhong Shao

DOI: 10.1109/sp63933.2026.00009

Cited by: 1

References: 26

Fields of Study & Subjects

Advanced Authentication Protocols Security Security and Verification in Computing Safety Systems Engineering in Autonomy

References 26