@进行中{ChevalJKK-usenix22，title=“{SAPIC+：}世界协议验证者，团结起来！”，author=“文森特·雪娃（Vincent Cheval）、查理·雅科姆（Charlie Jacomme）、史蒂夫·克莱默（Steve Kremer）和罗伯特·K（Robert K{\”{u}}-nemann“，年=“2022”，booktitle=“第31届{USENIX}安全研讨会，{USENIX}安全2022，美国马萨诸塞州波士顿，2022年8月10日至12日”，editor=“Kevin R.B.Butler和Kurt Thomas”，pages=“3935--3952”，publisher=“{USENIX}协会”，url=“https://www.usenix.org/conference/usenixsecurity22/presentation/cheval",}