何塞·巴塞拉尔·阿尔梅达；曼纽尔·巴博萨；吉尔·巴特；弗朗索瓦州杜普斯托尔 加密实现的可验证并行通道安全性：恒定时间MEE-CBC。 （英语） Zbl 1387.94064号 Peyrin，Thomas（编辑），《快速软件加密》。第23届国际会议，FSE 2016，德国波鸿，2016年3月20日至23日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-662-52992-8/pbk；978-3-562-52993-5/ebook）。《计算机科学讲义》9783163-184（2016）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Almeida}等人，Lect。票据计算。科学。9783，163--184（2016；Zbl 1387.94064） 全文： 内政部 链接
吉尔·巴特；弗朗索瓦州杜普斯托尔；本杰明·格雷戈里；塞萨尔昆兹；Benedikt施密特；Pierre-Yves支柱 EasyCrypt：教程。 （英语） Zbl 1448.68184号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林：斯普林格。莱克特。票据计算。科学。8604, 146-166 (2014).MSC公司：68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，Lect。票据计算。科学。8604146-166（2014年；Zbl 1448.68184） 全文： 内政部