何塞·巴塞拉尔·阿尔梅达;曼努埃尔·巴博萨;吉尔·巴特;文森特·拉波特;蒂亚戈·奥利维拉 经过认证的加密编译:扩展的x86指令和持续时间验证。 (英语) Zbl 07553866号 Bhargavan,Karthikeyan(编辑)等人,《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12578, 107-127 (2020).MSC公司:第68页第25页 68N20型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bacelar Almeida}等人,Lect。注释计算。科学。12578,107-127(2020;Zbl 07553866) 全文: 内政部 链接
克里斯蒂安·埃内;劳伦特·穆尼尔;玛丽·劳雷·波特 输出敏感信息流分析。 (英语) Zbl 07800280号 Pérez,Jorge A.(编辑)等人,分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议,2019年FORTE,作为第14届分布式计算技术国际联合会议的一部分,于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11535, 93-110 (2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Ene}等人,Lect。注释计算。科学。11535,93-110(2019;Zbl 07800280) 全文: 内政部 哈尔
吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;露娜,卡洛斯 恒定时间加密的系统级不干涉。一: 模型。 (英语) 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) 全文: 内政部
何塞·巴塞拉尔·阿尔梅达;曼纽尔·巴博萨;吉尔·巴特;弗朗索瓦·杜普斯托尔 加密实现的可验证并行通道安全性:恒定时间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。注释计算。科学。9783,163--184(2016;Zbl 1387.94064) 全文: 内政部 链接
大卫·伯恩哈德;马克·费希林;沃林斯基,博格丹 关于证明签名的ElGamal的CCA-安全性的困难。 (英语) Zbl 1388.94033号 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议,台湾台北,2016年3月6日至9日。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,47-69(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bernhard}等人,Lect。注释计算。科学。9614,47-69(2016;Zbl 1388.94033) 全文: 内政部 链接