Barthe,Gilles公司;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 恒定时间加密的系统级不干涉。二: 已验证静态分析和隐形内存。 (英语) 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) 全文: DOI程序
帕特里克·贝洛特;Barthe,Gilles公司;乌戈·达尔拉戈 次递归定义的隐式计算复杂性及其在密码证明中的应用。 (英语) Zbl 1468.68057号 J.汽车。推理 63,编号4813-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) 全文: DOI程序 哈尔