龙卷风 swMATH ID: 40715 软件作者: 索尼娅·贝拉伊德;皮埃尔·埃瓦里斯特·达冈;大流士·麦卡迪尔;马蒂厄·里万;拉斐尔·温特斯多夫 描述: Tornado是一种编译器,它生成的屏蔽位片实现在位/寄存器探测模型中被证明是安全的。它在以下出版物中介绍:Tornado:探测安全屏蔽比特片实现的自动生成 主页: https://dadaiscray.github.io/usuba/2020/07/02/龙卷风.html 源代码: https://github.com/CryptoExperts/Tornado(加密专家) 关键词: 编译器;遮蔽;自动验证;位片 相关软件: 掩码验证;凯卡克;ISAP公司;皮卡罗;验证器;尤瑟斯;地下的;金利;乌苏巴;tightPROVE公司;海绵状的;国际汽联;雅典;XooTools公司;github;电子广播控制系统;电子商务 引用于: 7文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 龙卷风:自动生成问题安全的屏蔽比特片实现。 Zbl 07436949号索尼娅·贝拉伊德;皮埃尔·埃瓦里斯特·达甘;墨卡第,大流士;马蒂厄·里文;拉斐尔·温特斯多夫 2020 全部的 前5名25位作者引用 2 索尼娅·贝拉伊德 2 加勒坦卡西尔 2 查尔斯·莫明 2 马蒂厄·里文 2 弗朗索瓦·泽维尔 1 大卫·贝利齐亚 1 尼古拉斯·博德斯 1 奥利维尔·布朗查因 1 Jean-Sébastien科隆 1 皮埃尔·埃瓦里斯特·达甘 1 克里斯托夫·多布拉尼格 1 玛丽亚·艾希塞德 1 巴巴拉·吉格尔 1 文森特·格罗索 1 郭淳 1 皮埃尔·卡普曼 1 斯特凡·曼加德 1 弗洛里安·孟德尔 1 大流士·麦卡迪尔 1 奥利维埃·佩雷拉 1 罗伯特·普里马斯 1 埃曼纽·普鲁夫 1 马丁·施拉弗 1 阿卜杜勒·拉赫曼·塔勒布 1 拉斐尔·温特斯多夫 连载1篇 1 密码学杂志 在2个字段中引用 7 信息与通信理论、电路(94-XX) 5 计算机科学(68至XX) 按年份列出的引文