布鲁诺·布兰切特 安全协议验证器ProVerif及其Horn子句解析算法。 （英语） Zbl 07806140号 Hamilton，Geoffrey W.（ed.）等人，《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》，HCVS/VPT 2022，德国慕尼黑，2022年4月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）373，14-22（2022）。MSC公司：68倍 94-XX年 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}，电子。程序。西奥。计算。科学。（EPTCS）373，14--22（2022；Zbl 07806140） 全文： arXiv公司 链接
布鲁诺·布兰切特 符号模型中安全协议的自动验证：验证器ProVerif。 （英语） Zbl 1448.68185号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林：施普林格。莱克特。注释计算。科学。8604, 54-87 (2014).MSC公司：68平方米25 60年第68季度 68问题85 94A60 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}，莱克特。注释计算。科学。8604，54-87（2014年；兹bl 1448.68185） 全文： 内政部
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 （英语） Zbl 1135.68007号 J.日志。阿尔盖布。程序。 75，第1期，第3-51页（2008年）.MSC公司：68平方米 68M10个 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}等人，J.Log。阿尔盖布。程序。75，第1、3--51号（2008；Zbl 1135.68007） 全文： 内政部