@正在进行{ChevalCD-csf23，title=“使用ProVerif选择可验证性”，author=“文森特·雪娃和V{\'{e}}罗尼克·科尔蒂尔和亚历山大·戴班特”，年=“2023”，booktitle=“第36届{IEEE}计算机安全基础研讨会，{CSF}2023，克罗地亚杜布罗夫尼克，2023年7月10日至14日”，pages=“43-58”，publisher=“｛IEEE｝”，url=“https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CCD-csf23.pdf",doi=“10.1109/CSF57540.2023.00032”，}