点击次数：

所属单位：密码科学与工程学院

论文名称：Verifying Consensus Protocols from LLM-assisted TLA$^+$: A Case Study of Byzantine Reliable Broadcast

发表刊物：The ACM Conference on Computer and Communications Security (CCS 2026)

第一作者：曹书赫

通讯作者：王馨,段斯斯

全部作者：王晨旭,隋笑

DOI码：10.1145/3830454.3846624

是否译文：否

收录刊物：SCI

发布时间：2026-09-18