李迪龙；Tiu，Alwen先生 将proverif和自动定理证明器结合起来进行安全协议验证。 （英语） Zbl 07178986号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11716, 354-365 (2019).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Li}和\textit{A.Tiu}，Lect。票据计算。科学。11716354-365（2019年；兹bl 07178986） 全文： 内政部
马尔瓦·查伊布；米尔科·科西纳；Yousfi、Souheib；帕斯卡·拉福卡德；Riadh罗巴纳 DABSTERS：用于许可区块链的保护隐私的电子投票协议。 （英语） Zbl 07142682号 Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11884, 292-312 (2019).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛M.Chaieb｝等人，Lect。票据计算。科学。11884、292--312（2019；Zbl 07142682） 全文： 内政部