吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 恒定时间加密的系统级不干涉。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) 全文: 内政部
里卡多·西斯托;皮耶吉乌塞佩·贝塔萨·科佩特;阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 使用JavaSPI正式实现安全协议。 (英语) Zbl 1382.68027号 正式Asp。计算。 30,第2号,279-317(2018).MSC公司:68个M12 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sisto}等人,正式Asp。计算。30,第2号,279--317(2018;Zbl 1382.68027) 全文: 内政部 链接