SyntaxBridge: Protocol Description Transformer for Enhanced Formal Analysis of Security Protocols.

Liujia Cai, Tong Yu, Yumeng Li, Siqi Lu, Hanjie Dong, Guangying Cai, Guangsong Li, Yongjuan Wang

Browse the full TrustCom paper archive.