Verifying Constant-Time Implementations
Verifying Constant-Time Implementations
复制标题
DOI：
--
复制
发表时间：
2016-08
影响因子：
6.9
通讯作者：
J. Almeida;M. Barbosa;G. Barthe;François Dupressoir;M. Emmi
中科院分区：
文献类型：
--
作者：
J. Almeida;M. Barbosa;G. Barthe;François Dupressoir;M. Emmi
前两名作者由“TEC 4Growth- Pervasive Intelligence，Enhancers and Proofs of Concept with Industrial Impact/NORTE-01-0145-FEDER-000020”项目资助，该项目由葡萄牙北部区域行动计划（NORTE 2020）资助，根据葡萄牙2020伙伴关系协议，并通过欧洲区域发展基金（ERDF）。第三和第四作者得到了项目S2013/ICE 2731 N-GREENS Software-CM和ONR赠款N 000141210914（AutoCrypt）和N 000141512750（SynCrypt）的支持。第四位提交人还得到了FP 7玛丽治愈基金会-COFUND 291803（Amarout II）的支持。我们感谢彼得施瓦贝为我们提供了一系列反面例子。我们感谢Hovav Shacham、克雷格科斯特洛和帕特里克隆加对我们的核查结果提出了有益的意见。TEC 4Growth-具有工业影响力的普适智能、增强器和概念验证/NORTE-01-0145-FEDER-000020
The first two authors were funded by Project “TEC4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact/NORTE-01-0145-FEDER-000020”, which is fi- nanced by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF). The third and fourth authors were supported by projects S2013/ICE2731 N-GREENS Software-CM and ONR Grants N000141210914 (AutoCrypt) and N000141512750 (SynCrypt). The fourth author was also supported by FP7 Marie Cure Actions-COFUND 291803 (Amarout II). We thank Peter Schwabe for providing us with a collection of negative examples. We thank Hovav Shacham, Craig Costello and Patrick Longa for helpful observations on our verification results. TEC4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact/NORTE-01-0145-FEDER-000020