A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.

该论文针对流控制传输协议（SCTP）开展形式化安全分析。SCTP 是一种提供多宿、多流和消息导向传输的传输协议，其两个主要实现已通过 PacketDrill 工具的一致性测试，但一致性测试并非穷尽，近期漏洞 CVE-2021-3772 表明

历史摘要 · 未重新核验 · USENIX Security