Return Home
Paper Publications
Verifying Consensus Protocols from LLM-assisted TLA$^+$: A Case Study of Byzantine Reliable Broadcast
Release Time:2026-09-18
  • Institution:
    密码科学与工程学院
  • Journal:
    The ACM Conference on Computer and Communications Security (CCS 2026)
  • First Author:
    曹书赫
  • Correspondence Author:
    王馨,段斯斯
  • All the Authors:
    王晨旭,隋笑
  • Translation or Not:
    No
  • Included Journals:
    SCI
Copyright All Rights Reserved Shandong University Address: No. 27 Shanda South Road, Jinan City, Shandong Province, China: 250100
Information desk: (86) - 0531-88395114
On Duty Telephone: (86) - 0531-88364731 Construction and Maintenance: Information Work Office of Shandong University