吉尔·巴特；古斯塔沃·贝塔特；胡安·迭戈·坎波；卡洛斯·卢纳；大卫·皮哈迪 恒定时间加密的系统级不干涉。II： 验证了静态分析和隐形内存。 （英语） Zbl 1459.68027号 J.汽车。推理 64，第8期，1685-1729（2020）.MSC公司：68平方米25 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，J.Autom。推理64，No.8，1685--1729（2020；Zbl 1459.68027） 全文： 内政部
帕特里克·贝洛特；吉尔·巴特；乌戈·达尔拉戈 次递归定义的隐式计算复杂性及其在密码证明中的应用。 （英语） Zbl 1468.68057号 J.汽车。推理 63，第4号，813-855（2019）.MSC公司：68甲18 03楼52 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人，J.Autom。推理63，No.4，813--855（2019；Zbl 1468.68057） 全文： 内政部 哈尔
JoséBacelar，阿尔梅达；曼纽尔·巴博萨；吉尔·巴特；弗朗索瓦州杜普斯托尔 加密实现的可验证并行通道安全性：恒定时间MEE-CBC。 （英语） Zbl 1387.94064号 Peyrin，Thomas（编辑），《快速软件加密》。2016年3月20日至23日在德国波鸿举行的2016年FSE第23届国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-662-52992-8/pbk；978-3-562-52993-5/ebook）。计算机科学课堂讲稿9783，163-184（2016）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Almeida}等人，Lect。注释计算。科学。9783163-184（2016年；兹比尔1387.94064） 全文： 内政部 链接
吉尔·巴特；马可·加博阿迪；埃米利奥·杰苏斯·加列戈·阿里亚斯；贾斯汀·徐；亚伦·罗斯；Pierre-Yves支柱 机构设计的计算机辅助验证。 （英语） Zbl 1404.91037号 蔡洋（编辑）等，《网络与互联网经济学》。2016年12月11日至14日，加拿大蒙特利尔，第十二届国际葡萄酒大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-54109-8/pbk；978-3-562-54110-4/电子书）。计算机科学课堂讲稿10123279-293（2016）。MSC公司：91个40个 91B68型 91-04 PDF格式BibTeX公司 XML格式引用 \textit｛G.Barthe｝等人，Lect。注释计算。科学。10123279--293（2016；Zbl 1404.91037） 全文： 内政部 arXiv公司
吉尔·巴特；弗朗索瓦州杜普斯托尔；本杰明·格雷戈里；塞萨尔·库茨；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） 全文： 内政部