吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 恒定时间密码学的系统级不干扰。二: 已验证静态分析和隐形内存。 (英语) 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) 全文: 内政部 哈尔
吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳 恒定时间加密的系统级不干涉。一: 模型。 (英语) Zbl 1459.68026号 J.汽车。推理 63,第1号,1-51(2019).MSC公司:68平方米25 94A60 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Autom。推理63,No.1,1-51(2019;Zbl 1459.68026) 全文: 内政部
吉尔·巴特;Courtieu,Pierre皮埃尔;纪尧姆·杜菲;西芒,索萨甜瓜 类型化低级语言的工具辅助规范和验证。 (英语) Zbl 1107.68027号 J.汽车。推理 35,第4期,295-354(2005).MSC公司:68甲15 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Autom。推理35,No.4,295--354(2005;Zbl 1107.68027) 全文: 内政部