The Underhanded C Contest
11 days ago
- #Nuclear verification
- #NaN poisoning
- #Underhanded C Contest
- 2015年隐蔽代码竞赛结果公布，获奖者及入围者的提交作品获得认可。
- 此次竞赛是由核威胁倡议组织赞助的一个现实世界核核查问题。
- 许多提交作品采用NaN中毒攻击手段，即浮点数NaN值导致错误比较。
- 定于2月9日举行Reddit线上问答活动，讨论竞赛及其现实意义。
- 作品评审注重现实性，优先考虑数据触发型攻击而非环境触发型攻击。
- 入围作品包括利用NaN漏洞、内存泄漏及巧妙负数技巧的参赛方案。
- 林纳斯·阿克松的夺冠作品利用float_t与双精度浮点数之间的类型混淆漏洞。
- 该混淆导致程序误读光谱数据，使东道国可在不被察觉的情况下实施欺诈。
- 这种攻击具有现实可行性，采用标准代码，并利用浮点数表示中的整数计数漏洞。