马尔瓦·查伊布;米尔科·科西纳;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） 全文： 内政部
阿里·卡西姆;伊利耶斯·法尔科内;帕斯卡·拉福卡德 电子考试的正式分析和离线监控。 （英语） Zbl 1370.68205号 形式方法系统。设计。 51，第1期，117-153（2017）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Kassem｝等人，Form.Methods Syst。设计。51，第117-153号（2017年；兹bl 1370.68205） 全文： 内政部 哈尔
詹妮克·德雷尔;帕斯卡·拉福卡德;亚辛·拉赫内赫 电子拍卖协议的正式验证。 （英语） Zbl 1390.68078号 David Basin（编辑）等人，《安全与信任原则》。2013年3月16日至24日在意大利罗马举行的第二届国际会议，即2013年POST，是欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36829-5/pbk）。计算机科学课堂讲稿7796247-266（2013）。MSC公司：68个M12 68英里11 68第25页 60年第68季度 68吨15 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人，Lect。注释计算。科学。7796，247--266（2013；Zbl 1390.68078） 全文： 内政部